Executing the formal definition of Ada. - Alessandro Fantechi; Stefania Gnesi; F. Leggio; P. Talini (ACM SIGPLAN Notices, 1991)