Integrating Action Systems and Z in a Medical System Specification. - V. Kasurinen; Kaisa Sere (FME, 1996)