Algebraic Specifications of Reachable Higher-Order Algebras (1988)

by B Möller, A Tarlecki, M Wirsing
Venue:Proc. 5th ADT Workshop, Springer LNCS 332