Formalizing Anaesthesia: a case study in formal specification. - Rix Groenboom; Erik Saaman; Ernest Rotterdam; Gerard R. Renardel de Lavalette (FME, 1996)

TimeFlows: Visualizing Process Chronologies from Vast Collections of Heterogeneous Information Objects. - Max Lonysa Muller; Erik Saaman; Jan Martijn E. M. van der Werf; Charles Jeurgens; Hajo A. Reijers (RCIS (1), 2024)