Towards leakage containment (1992)

by J L Lawall, D P Friedman