Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-113
Bibtype: TechReport
Author: Jeannette M. Wing
        Amy Moormann Zaremski
Month: feb
Title: Unintrusive Ways to Integrate Formal Specifications 
        in Practice
Year: 1991
Key: Formal methods, formal specification, software engineering,
        structuerd analysis, structure charts, Larch
Address: Pittsburgh, PA