Citation Hunt

The Wikipedia snippet below is not backed by a reliable source. Can you find one?

Click I got this! to go to Wikipedia and fix the snippet, or Next! to see another one. Good luck!

In page Miranda (programming language):

This text has been unreferenced on Wikipedia for a very long time. If you can't find a source, be bold and remove it!

This text is part of the article's lead section, so referencing it may be optional. Please see WP:CITELEAD for more information.

"

Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda)[1] and was the first purely functional language to be commercially supported.[citation needed]