Gian Luca Cattani Vladimiro Sassone Higher Dimensional Transition Systems. 55-62 1996 LICS db/conf/lics/lics96.html#CattaniS96