Alexandre Brandwajn A Model of a Time Sharing Virtual Memory System Solved Using Equivalence and Decomposition Methods Acta Inf. 4 1974 11-47 db/journals/acta/acta4.html#Brandwajn74