Relative Equational Specification and SemanticsAuthorsJ. E. HannayStatusPublishedPublication typeTechnical ReportsYear of publication1997Journal-PublisherUniversity of EdinburghNotesTechnical reportCitation key12927Google Scholar BibTex