@INPROCEEDINGS{KlaKoiSch-formal-design-constraints,
	AUTHOR = {Klarlund, N. and Koistinen, J. and Schwartzbach, M.I.},
	TITLE = {Formal Design Constraints},
	BOOKTITLE = {Proceedings of OOPSLA '96},
	YEAR = {1996},
}