Ana M. D. Moreira, Robert G. Clark: Combining Object-Oriented Analysis and Formal Description Techniques. ECOOP 1994: 344-364