"Teaching Formal Extensions of Informal-Based Object-Oriented Analysis ..."

Thomas C. Hartrum, Paul D. Bailor (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics