STACK research and development.
STACK is based on over a decade of research and development.
A summary of this work is available in the book "Computer Aided Assessment of Mathematics", by Chris Sangwin.