Proof in VDMJuan Carlos Bicarregui, Juan C. Bicarregui, John S. Fitzgerald · First published 1994Open the Tome
Intra-modular structuring in model-oriented specificationJuan C. Bicarregui · First published 1995Open the Tome
