Main approaches to formal specifications / Peter Lucas -- The meta-language / Cliff Jones -- Mathematical foundations / Joseph E. Stoy -- Modelling concepts of programming languages. More on exception mechanisms / Cliff Jones -- ALGOL 60 / Wolfgang Henhapl and Cliff Jones -- Pascal / Derek Andrews and Wolfgang Henhapl -- Compiler design / Cliff Jones -- Rigorous development of interpreters & compilers / Dines Bjorner -- Program design by data refinement / Elizabeth Fielding and Cliff Jones -- Stepwise transformation of software architectures / Dines Bjorner -- Formalization of data models / Dines Bjorner and Hans Henrik Lovengreen -- Realization of database management systems / Dines Bjorner.