Ieee Transactions on Computer. roč. 1985