Stateful Realizers for Nonstandard Analysis - Dinis, Bruno; Miquey, Étienne (2023)