Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.

Hartmut Ehrig, Hans-Jrg Kreowski, Bernd Mahr, Peter Padawitz

Browse the full MFCS paper archive.