"Hybrid Implementations of Algebraic Specifications."

H. R. Walters (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics