Manfred Broy;Franz Huber;Barbara Paech;Bernhard Rumpe;Katharina Spies
-;-;-;-;-
Step by Step to Histories
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology