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

Robin Milner Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) 3 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#Milner87