A Case Study of Abstract Implementations and Their Correctness.

Hartmut Ehrig Hans-Jörg Kreowski Peter Padawitz A Case Study of Abstract Implementations and Their Correctness. 108-122 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#EhrigKP80