Application Environment Specification: Operating System Programming Interfaces,

Prospects for Functional Programming in Software Engineering, Jean-Pierre Banatr

Interactive Relational Database Design: A Logic Programming Implementation, Tapa

Technique for Software and Systems Design, R.J. Lano

Mallgren: Formal Specification of Interactive Graphics Programming Languages, Wi

Abap/4: Programming the Sap R/3 System, Bernd Matzke

Specs: Specification and Programming Environment for Communication Software : Th

Programming in Ada 2005 with CD, John Barnes