Ensuring streams flow (1997)

by Alastair Telford, David Turner
Venue:In Algebraic Methodology and Software Technology, 6th International Conference, AMAST’97, volume 1349 of LNCS