Specification and Design of Software Systems
Neuhold, E. J. / Knuth, Elöd
System cars and its description language.- Software structuring: A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Distributed computer systems: Two views.- Sziam: A data model design aid.- Espreso ¿ A system for process control software specification.- Program design ¿ A practical approach.- On implementation problems of shared abstract data types.