Lanfranco Lopriore Protection in a single-address-space environment. 25-32 2000 76 Inf. Process. Lett. 1-2 db/journals/ipl/ipl76.html#Lopriore00 http://dx.doi.org/10.1016/S0020-0190(00)00161-7