Barbara Liskov Dorothy Curtis Paul Johnson Robert Scheifler Implementation of Argus. 111-122 1987 SOSP db/conf/sosp/sosp87.html#LiskovCJS87