Higher-dimensional transition systems (1996)

by V Sassone, G L Cattani
Venue:In LICS