The algebraic speci cation fomalism ASF, in (1989)

by J A Bergstra, J Heering, P Klint
Venue:Klint (Eds.), Algebraic Speci cation, ACM Press Frontier Series, The ACM Press in co-operation with Addison-Wesley