Tutorial proceedings on TRI-Ada '92. Volume 1 - Mendal, Geoff. (ACM,)