Computer semanties studies of algorithmo - LEE, John (New York, 1972)