J. B. Wells Christian Haack Branching Types. 115-132 2002 conf/esop/2002 ESOP http://link.springer.de/link/service/series/0558/bibs/2305/23050115.htm db/conf/esop/esop2002.html#WellsH02