State-Based Extensions of CASL.

Hubert Baumeister, Alexandre V. Zamulin

Browse the full IFM paper archive.