MetaSoft Primer by Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth.
Series: Lecture Notes in Computer ScienceEdition: 1987Material type: 
Computer file; Format:
electronic
Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .
