AuthorsJ. Hannay
TitleReferential Opacity in Equational Reasoning
StatusPublished
Publication TypeTechnical reports
Year of Publication1998
NumberECS-LFCS-98-398
PublisherUniversity of Edinburgh
Citation KeySE.7.Hannay.1998