\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}