@conference {iraki85specification,
	title = {A Specification Technique for Interactive System},
	booktitle = {Proceedings of COMPINT 85},
	year = {1985},
	month = {sep},
	pages = {760-764},
	address = {Montreal},
	author = {El Iraki, A. and Guy Lapalme and Bochmann, G.V.}
}
