Matthew de Brecht, Arno Pauly, Matthias Schröder: Overt choice. Comput. 9(3-4): 169-191 (2020)