W. H. Enright

发表

T. Prasad, M. A. Ismail, M. S. Kamel, 1982 .

Desmond J. Higham, Philip W. Sharp, W. H. Enright, 1995 .

W. H. Enright, T. E. Hull, A. E. Sedgwick, 1972, Proving Assertions About Programs.