@inproceedings{publication-3421,
	author={Ludewig, Jochen and Glinz, Martin and Huser, Hansj{\"o}rg and Matheis, G. and Matheis, Hans and Schmidt, M. F.},
	booktitle={Proceedings of the 8th International Conference on Software Engineering},
	pages={83-89},
	title={SPADES - A Specification and Design System and its Graphical Interface},
	year=1985,
}