@inproceedings{WCRE-1997-Balmas,
	author        = "Francoise Balmas",
	booktitle     = "{Proceedings of the Fourth Working Conference on Reverse Engineering}",
	ee            = "http://computer.org/proceedings/wcre/8162/81620226abs.htm",
	isbn          = "0-8186-8162-4",
	pages         = "226--235",
	publisher     = "{IEEE Computer Society}",
	title         = "{Toward a Framework for Conceptual and Formal Outlines of Programs}",
	year          = 1997,
}