http://cs.swan.ac.uk/~csarnold/dvmlg/