Molier, Bernhard Partsch, Helmut Pepper, Peter <br/><br/>
Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming 

 - 165-180 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebraic Simplification<br/> Formal Semantics<br/>Software Engineering