L. M. G. FeijsBooksAlgebraic methods IIA Formalisation of Design MethodsNotations for software designFormal specification and designFormal specification and designNeonatal monitoring technologiesAuthor data: Open Library