publication venue for Verifying for Reuse: Foundations of Object-Oriented System Verification. 1994 Generalising Interpretations Between Theories in the Context of (π-)institutions 1993
