The equational logic of fixed points (1997)

by S L Bloom, Z Ésik
Venue:Theoretical Computer Science