L. M. G. Feijs

• A Formalisation of Design Methods
• Algebraic methods II
• Formal specification and design
• Formal specification and design
• Notations for software design
• Neonatal monitoring technologies