Casl semantics, Part III of [34 (0)

by H Baumeister, M Cerioli, A Haxthausen, T Mossakowski, P D Mosses, D Sannella, A Tarlecki