Contributors

Each part of the Language Summary was assigned to one or more authors and one kibitzer.¹ The authors were responsible for actually doing the work, while the kibitzer was to serve as first reader, act as devil's advocate, push the authors to do the work, and perhaps jump in and help if needed. Authors and kibitzers were as follows:

• [] Basic specifications: Don Sannella (kibitzer Hubert Baumeister)
• [] Subsorting: Maura Cerioli and Anne Haxthausen (kibitzer Till Mossakowski)
• [] Structured specifications: Hubert Baumeister and Till Mossakowski (kibitzer Andrzej Tarlecki)
• [] Architectural specifications: Andrzej Tarlecki (kibitzer Don Sannella)
• [] Libraries: Peter Mosses (kibitzer Hans-Jörg Kreowski)