Reprints
Subtitle: no.17
Language: eng
Other titles: Computer Science 165; Computer Science 265; Algebraic specification of abstract data types.