Program Development by Specification and Transformation. Berlin etc.: Springer, 1993 623 p. il. 3-540-56733-X.
Program Development by Specification and Transformation. Berlin etc.: Springer, 1993 623 p. il. 3-540-56733-X.
(1993) Program Development by Specification and Transformation, Berlin etc.: Springer 623 p. il. 3-540-56733-X.
(1993). Program Development by Specification and Transformation. The PROSPECTRA Methodology, Language Family, and System. Berlin etc.: Springer, 623 p. il.
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. Berlin etc.: Springer; 1993. p. 623 p. il. ISBN: 3-540-56733-X.