Towards Leakage Containment (1992)

by J L Lawall, D P Friedman