Hetshttp://www.tzi.de/cofi/hets CASL libraries (incl. specifications of calculi)http://www.tzi.de/cofi/Libraries
webmaster disclaimer
