Branching types (2002)

by J B Wells, C Haack
Venue:In ESOP ’02, volume 2305 of LNCS