db/conf/pos/Wai89.html Francis Wai Distributed PS-algol. 126-140 POS/1989/P126.pdf 1989 conf/pos/1989 POS db/conf/pos/pos89.html#Wai89