"Non-well-founded sets"
Stanford, Calif. : Center for the Study of Language and Information, c1988.
ISBN: 0-937073-21-0, 0-937073-22-9
Proof theory : a selecion of papers from the Leeds Proof Theory programme 1990 /
edited by Peter Aczel ; Harold Simmonds ; Stanley S. Wainer.
Cambridge : Cambridge University Press, c1992.
ISBN: 0-521-41413-x
John Mingers:
Self-producing systems : implications and applications of autopoiesis
New York : Plenum Press, c1995.
ISBN: 0-306-44797-5
My own book on autopoiesis will hopefully be due in a few months. It will
contain an algebraic foundation of the different kinds of autopoiesis.
Onar.