000			00454nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540690580
100			_aMiquel Bertran, Teodor Rus
245		0	_aTransformation-Based Reactive Systems Development
250			_a1997
260			_bSpringer Berlin Heidelberg _c1997
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-63010-4
999			_c25813 _d25813