@conference {iraki85ada,
	title = {Ada As a Specification Language for Interactive Systems},
	booktitle = {Convention informatique},
	year = {1985},
	month = {sep},
	pages = {16-20},
	address = {Palais des Congr{\`e}s, Paris},
	author = {El Iraki, A. and Guy Lapalme and Bochmann, G.V.}
}
