Chris Verhoef
-
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)