Formal Methods in Macro-Biology - Fages; Fages, François; Piazza, Carla (Springer International Publishing, 2014)