L. M. G. Feijs · 6 obras en el catálogoObrasAlgebraic methods IINNeonatal monitoring technologiesNeonatal monitoring technologiesFormal specification and designA Formalisation of Design Methods1993Formal specification and design1992Notations for software design1994