@inproceedings{RE-2001-Jackson,
	author        = "Michael Jackson",
	booktitle     = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	doi           = "10.1109/ISRE.2001.948573",
	isbn          = "0-7695-1125-2",
	pages         = "269",
	publisher     = "{IEEE Computer Society}",
	title         = "{Formalism and Informality in RE}",
	year          = 2001,
}