Andy Gill The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. 4 1995 conf/fp/1995 Functional Programming db/conf/fp/fp1995.html#Gill95