Rolf Hennicker Observational Implementation of Algebraic Specifications. 187-230 1991 28 Acta Inf. 3 db/journals/acta/acta28.html#Hennicker91