MERILL : an equational reasoning system in standard ML : a user guide /
Matthews, B.(Brian)
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1993.
Includes bibliographical references.