Formal program developmentHelmut A. Partsch, Bernhard Moller, Helmut Partsch · First published 1993Open the Tome
Formal Program DevelopmentBernhard Möller, Helmut Partsch, Steve Schuman · First published 1993Open the Tome
Specification and Transformation of Programs Monographs in Computer ScienceHelmut A. Partsch · First published 1990Open the Tome