Initial Equality As a Function in Algebraic SpecificationAuthorsO. LysneStatusPublishedPublication typeTechnical ReportsYear of publication1993Journal-PublisherDepartment of Informatics, University of OsloCitation key13001Google Scholar BibTex