db/conf/pos/FarkasDH96.html Alex Farkas Alan Dearle David Hulse Operating System Support for Inter-Domain Type Checking. 23-32 POS/1996/P023.pdf 1996 POS db/conf/pos/pos96.html#FarkasDH96