Nonwellfounded Sets and Programming Language Semantics (1992)

by J J M M Rutten
Venue:Lecture Notes in Computer Science