Title: The denotational description of programming languages
First published: 1979
Subjects: Programming languages (Electronic computers)
LC classification: QA76.7