Programming Calculi Based on Fixed Point Transformations (1985)

by Meyer
Venue:Semantics and Applications, Dissertation, Vrije Universiteit