A complete axiomatization for prefix iteration in branching bisimulation - Fokkink, Willem J. 1965- (Dep. of Philosophy, Utrecht Univ., 1995)