Hellmut Karl Loeckenhoff
Formal Modelling to Understand Life Systems
Inquiry into the Computation of Life
