Doug Smith 2M/T1 Testing: Ensuring That Your Data Makes It Across The Interface. [Citation Graph (0, 0)][DBLP] Int. Journal of Network Management, 1996, v:6, n:1, pp:33-36 [Journal]
Doug Smith Designware: Software Development by Refinement. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]