Backhouse R. Algorithmic problem solving / R. Backhouse, 2011. - XIII, 414 p. - Текст : непосредственный.
Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006: revised lectures / ed. R. Backhouse, 2007 r=on-line
Mathematics of program construction : 5th intern. conf., MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000Proc. / MPC 2000, 2000. - VII,255 p. p. - Текст : непосредственный.