A. Gimblett, T. Kahsai, L. O’Reilly, and M. Roggenbach, “On the whereabouts of CSP-CASL – A survey”, eceasst, vol. 62, Sep. 2013.