H. Rex Hartson Implementation of Predicate-based Protection in MULTISAFE. 207-234 1984 14 Softw., Pract. Exper. 3 db/journals/spe/spe14.html#Hartson84