State-based extension of Casl (2000)

by H Baumeister, A Zamulin
Venue:In Proceedings IFM 2000, volume 1945 of Lecture Notes in Computer Science