Normal view
MARC view
- Till, David
Till, David (Personal Name)
Machine generated authority record.
Work cat.: (USJPLib)38386: Patter, Ben 49071, An introduction to formal specification and z, 1991