@article{article, title  = {{Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002.}},

 url = {{}},

 year = {{2004}},

 month = {{8}},

 author = {{Derrick J}},

 doi = {{10.1017/S0956796804255320}},

 volume = {{14}},

 journal = {{J. Funct. Program.}},

 pages = {{597-598}},

 note = {{Accessed on 2025/11/27}}}