AuthorsO. Lysne
TitleInitial Equality As a Function in Algebraic Specification
StatusPublished
Publication TypeTechnical reports
Year of Publication1993
Number179
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Lysne.1993.c