Object-Oriented Implementation of Abstract Data Type Specifications. - Rolf Hennicker; Christoph Schmitz 002 (AMAST, 1996)

Spezifikation objektorientierter Systeme. - Christoph Schmitz 002 (2000)