I have been reading through "Autopoiesis and Cognition" by Humberto R. Maturana and Francisco J. Varela. One of their goals in defining autopoiesis and the supporting concepts of simple and composite unity, structure, and organization seems to be to have a better language for expressing questions about what it means to be a living thing. At some point in the book, Maturana even mentions that this is a step towards a formal language and treatment of the subject. However, in the book, the discussion remains a step away from being formal.
Has there been a formal description of Maturana's autopoiesis proposed that would appeal to an analytic philosopher, mathematician, or theoretical computer scientist?