Tutorial proceedings on TRI-Ada '92 - Volume 2
ACM Digital Library