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