Formal Methods: Z CS 415, Software Engineering II Mark Ardis, Rose-Hulman Institute March 18, 2003.
And SQL/MM Part 7: History ISO/IEC JTC 1/SC 32 WG 4 SQL/MM Convener Kohji SHIBANO 32N1766.
and SQL/MM Part 7: History