\begin{thebibliography}{9} \bibitem{cleansmurf} \emph{CleanSmurf} --- Smurf interpreter in Clean, \url{https://github.com/camilstaps/CleanSmurf}. Opgehaald 10 juni 2016. \bibitem{prooftree} Formal Mathematical Proofs in \TeX{}, \url{http://www.paultaylor.eu/proofs/}. Paul Taylor. Opgehaald 12 juni 2016. \bibitem{safalra} Smurf Specification, \url{http://safalra.com/programming/esoteric-languages/smurf/specification/}. Opgehaald 27 april 2016. \bibitem{esolang:prog} Smurf --- Reversing input on Esolang, \url{http://esolangs.org/wiki/Smurf#Reversing_input}. Opgehaald 27 mei 2016. \end{thebibliography}