@inproceedings{ICRE-1996-Goguen,
	author        = "Joseph A. Goguen",
	booktitle     = "{Proceedings of the Second International Conference on Requirements Engineering}",
	doi           = "10.1109/ICRE.1996.10005",
	isbn          = "0-8186-7252-8",
	pages         = "102--109",
	publisher     = "{IEEE Computer Society}",
	title         = "{Formality and Informality in Requirements Engineering}",
	year          = 1996,
}