Tutorial proceedings on TRI-Ada '92 - Volume 1