Ensuring streams (1997)

by A Telford, D Turner
Venue:Proceedings of AMAST'97, Lecture Notes in Computer Science 1349