Adding recursive constructs to bialgebraic semantics (2004)

by B Klin
Venue:J. Logic and Alg. Prog