Hans Hansson Fredrik Orava A Process Calculus with Incomparable Priorities. 43-64 1992 conf/napaw/1992 NAPAW db/conf/napaw/napaw1992.html#HanssonO92