The Application of Formal Specifications to Software Documentation and Debugging. - Anoop Goyal; Sriram Sankar (AADEBUG, 1993)