Gimblett, A.; Kahsai, T.; O’Reilly, L.; Roggenbach, M. On the Whereabouts of CSP-CASL – A Survey. ECEASST 2013, 62.