Thomas C. Lowe Analysis of boolean program models for time-shared, paged environments. 199-205 1969 12 Commun. ACM 4 http://doi.acm.org/10.1145/362912.362918 db/journals/cacm/cacm12.html#Lowe69