Ian T. Foster Anthony J. Kusalik A Logical Treatment of Secondary Storage. 58-67 1986 SLP db/conf/slp/slp86.html#FosterK86