Sravnitel´noje izučenije jazykov programmirovanija - Higman, Bryan (Matematičeskoje obespečenije EVM, 1974)