Ralph-Johan Back Qiwen Xu Refinement of Fair Action Systems. 131-165 1998 35 Acta Inf. 2 db/journals/acta/acta35.html#BackX98 http://link.springer.de/link/service/journals/00236/bibs/8035002/80350131.htm