Theory and practice of software development

Local area networks

an advanced course

The Munich Project CIP

Volume 1

Logics of programs

Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983

DIANA

an intermediate language for ADA