Tutorial proceedings on TRI-Ada '92 - Volume 2