@inproceedings{ICSE-1987-Bjorner,
	acmid         = "41768",
	author        = "Dines Bjørner",
	booktitle     = "{Proceedings of the Ninth International Conference on Software Engineering}",
	editor        = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
	isbn          = "0-89791-216-0",
	pages         = "17--29",
	publisher     = "{ACM Press}",
	title         = "{On the Use of Formal Methods in Software Development}",
	year          = 1987,
}