TY  - SER
AU  - Molier, Bernhard
AU  - Partsch, Helmut
AU  - Pepper, Peter
TI  -  Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming
KW  - Algebraic Simplification
KW  -  Formal Semantics
KW  - Software Engineering
ER  -