Book reviewsBroadbent, Graeme; Gale, Christopher; Berryman, Will; Rodney, Michael; James, Helen; Foster, Steve; Bettinson, Vanessa; Marson, James; Sellick, Joanne; East, Rob; Watson, Susan; Reeves, Tracey; Hart, Tina; Nield, Sarah; Cannarsa, Michel; Lowther, Jason; Foxcroft, Lynne; Stanley, Robert; Barton, Adrian; Marshall, Emily; Foster, Steve · The Law Teacher · 2007

Generic Tools via General RefinementSteve Reeves; David Streader · 2008

Guarded Operations, Refinement and SimulationSteve Reeves; David Streader · 2009

Refinement for User Interface DesignsJudy Bowen; Steve Reeves · 2008

General Refinement, Part Two: Flexible RefinementSteve Reeves; David Streader · 2008

PrefaceEerke Boiten; John Derrick; Steve Reeves · 2009

Contexts, refinement and determinismSteve Reeves; David Streader · 2011

Teaching formal methods lite via testingMark Utting; Steve Reeves · 2001

The Mathematics of Quantum ChemistryCoulson, C. A. · International Journal of Mathematical Education in Science and Technology · 1970

Continuity on subsetsBaylis, John · International Journal of Mathematical Education in Science and Technology · 1977

Summing series with Laplace transformsSIMPSON, W. A. · International Journal of Mathematical Education in Science and Technology · 1999

Five ways to evaluateKhalili, Parviz · International Journal of Mathematical Education in Science and Technology · 2004

Scaffolding and metacognitionHolton, Derek; Clarke, David · International Journal of Mathematical Education in Science and Technology · 2006

Programming as an Educational ToolWiechers, G. · International Journal of Mathematical Education in Science and Technology · 1974

Computer‐aided vector algebraMikkola, Risto; Lounesto, Pertti · International Journal of Mathematical Education in Science and Technology · 1983

Introducing Differential CalculusGraham, A.; Read, G.A.; King, V. · International Journal of Mathematical Education in Science and Technology · 1973