Algebraic tools for system construction

Additional Metadata
MSC	Models of computation (Turing machines, etc.) (msc 68Q05), Computer system organization (msc 68Mxx), Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	Logics of Programs
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA 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.& Tucker, J. (1984). Algebraic tools for system construction. Logics of Programs: Workshop Carnegie Mellon University Pittburgh, PA, 34–44.

Publication