Initial algebra specifications for parametrized data types

1983

Additional Metadata
MSC	Abstract data types; algebraic specification (msc 68Q65), Applications of computability and recursion theory (msc 03D80)
Publisher	akademie verlag
Journal	Elektronische Informationsverarbeitung und Kybernetik
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bergstra, J., & Klop, J. W. (1983). Initial algebra specifications for parametrized data types. Elektronische Informationsverarbeitung und Kybernetik, 19(1-2), 17–31.

Publication