From individuals to populations: a symbolic process algebra approach to epidemiology
scientific article; zbMATH DE number 5853474