Manfred Broy Martin Wirsing On the Algebraic Specification of Finitary Infinite. 171-198 1982 Formal Description of Programming Concepts conf/ifip2/1982 db/conf/ifip2/fdpc1982.html#BroyW82