@conference {iraki88using,
	title = {Using {Ada} As a Specification and an Implementation Language for Interactive Systems},
	booktitle = {International Computer Symposium (ICS{\textquoteright}88)},
	year = {1988},
	month = {dec},
	address = {Tamkang University, Taipei, Taiwan, Republic of China},
	author = {El Iraki, A. and Guy Lapalme and Bochmann, G.V.}
}
