"Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)"

Robin Milner (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics