Malva, oct'03
Jasper, apr'01
Peter & Corwin May'97
April'00
For the latest versions of Corwin and of JASPER and of MALVA, see http://www.m-db.net.