@article{swierstra2011sorted,
  title={Sorted: Verifying the problem of the dutch national flag in {Agda}},
  author={Swierstra, Wouter},
  journal={Journal of Functional Programming},
  volume={21},
  number={6},
  pages={573--583},
  year={2011},
  publisher={Cambridge University Press}
}