TY  - JOUR

T1  - Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002.

JO  - J. Funct. Program.

PY  - 2004/08/06

AU  - Derrick J

ED  - 

DO  - DOI: 10.1017/S0956796804255320

VL  - 14

SP  - 597

EP  - 598

Y2  - 2025/11/27

ER  -