@inproceedings{SAC-2002-DascaluH,
	author        = "Sergiu Dascalu and Peter Hitchcock",
	booktitle     = "{Proceedings of the 17th Symposium on Applied Computing}",
	doi           = "10.1145/508791.508988",
	pages         = "1014--1020",
	publisher     = "{ACM}",
	title         = "{An approach to integrating semi-formal and formal notations in software specification}",
	year          = 2002,
}