Program development by specification and transformation：the PROSPECTRA methodology, language family, and system

Group Author: Hoffmann Berthold, 1953-; Krieg-Brückner B.; (Bernd)
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP311.52/P964/