Normal view
MARC view
Martin, James, 1933-2013. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: Martin, James, 1933-2013., System design from provably correct constructs :, c1985.