revised February 1984; accepted (1980)

by Sci Am
Venue:ACM Transactions on Computer Systems