Normal view
MARC view
Bergstra, J. A. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: Algebraic specification /, c1989.