Formal program developmentHelmut A. Partsch, Bernhard Moller, Helmut Partsch · First published 1993Open the Tome
Specification and Transformation of Programs Monographs in Computer ScienceHelmut A. Partsch · First published 1990Open the Tome