Referential Opacity in Equational ReasoningAuthorsJ. E. HannayStatusPublishedPublication typeTechnical ReportsYear of publication1998Journal-PublisherUniversity of EdinburghCitation key12928Google Scholar BibTex