A Formal Approach to Software Design: The Clepsydra Methodology.

Paolo Ciaccia Paolo Ciancarini Wilma Penzo A Formal Approach to Software Design: The Clepsydra Methodology. 5-24 1995 conf/zum/1995 ZUM db/conf/zum/zum1995.html#CiacciaCP95