@inproceedings{OOPSLA-1996-KlarlundKS,
	author        = "Nils Klarlund and Jari Koistinen and Michael I. Schwartzbach",
	booktitle     = "{Proceedings of the 11th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/236337.236376",
	editor        = "Lougie Anderson and James Coplien",
	isbn          = "0-89791-788-X",
	pages         = "370--383",
	publisher     = "{ACM}",
	title         = "{Formal Design Constraints}",
	year          = 1996,
}