A name-free account of action calculi (1995)

by P Gardner
Venue:Mathematical Foundations of Programming Semantics. ENTCS 1, Elsevier