Donald Sannella - Böcker

Introduction to Computation

Haskell, Logic and Automata

Automata, Languages and Programming

31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings

Recent Trends in Data Type Specification

Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Algebraic System Specification and Development

A Survey and Annotated Bibliography

Programming Languages and Systems - ESOP '94

5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Foundations of Algebraic Specification and Formal Software Development