Juan Bicarregui: Exploiting Formality in Software Engineering. SOFSEM 1999: 163-180