Normal view
MARC view
Kuke Roger Ed (Personal Name)
Machine generated authority record.
Work cat.: (OSt)812230: Kuke Roger Ed., Formal object-oriented specification using object-z, 2000