000			00528nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540480433
100			_aAndrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
245		0	_aMetaSoft Primer
250			_a1987
260			_bSpringer Berlin Heidelberg _c1987
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-18657-3
999			_c27099 _d27099