Junbo Liu Owen Traynor Steen Lynenskjold Guided Tour of the PROSPECTRA System. 331-366 1993 conf/prospectra/1993 PROSPECTRA Book db/conf/prospectra/prospectra1993.html#LiuTL93