Computer semantics
Subtitle: Studies of algorithms, processors and languages
Publisher: Van Nostrand Reinhold
Published: 1972-01-01