Martin Wirsing Structured Algebraic Specifications: A Kernel Language. 123-249 1986 42 Theor. Comput. Sci. db/journals/tcs/tcs42.html#Wirsing86