CONLAN Report

Book

Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)

Book

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)

Book

A Relational Theory of Computing

Book

Architecture of Distributed Computer Systems (Lecture Notes in Computer Science, 77)

Book

Report of Algorithmic Language ALGOL 68 (Handbook for Automatic Computation, 1)

Book

Report on the Algorithmic Language ALGOL 68

Book

Report on the Programming Language PLZ/SYS

Book

Revised Report on the Algorithmic Language ALGOL 68

Book

An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)

Book

The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/ Mil-std-1815a-1983, Approved 17 February 1983 (Lecture Notes in Computer Science, 155)