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

 url = {{}},

 year = {{2004}},

 month = {{1}},

 author = {{Derrick J}},

 volume = {{14}},

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

 pages = {{597-598}},

 note = {{Accessed on 2025/01/13}}}