A Program Development Tool. - Cyril N. Alberga; Allen L. Brown; George B. Leeman Jr.; Martin Mikelsons; Mark N. Wegman (IBM J. Res. Dev., 1984)

Enforcing the Scientific Method. - Allen L. Brown (IPAW, 2008)