Concrete stream calculus: An extended study (2011)

by R Hinze
Venue:J. Funct. Program