Ensuring streams flow (1997)

by A Telford, D Turner
Venue:In Algebraic Methodology and Software Technology