EnFuzion is described on the TurboLinux web page at http://www.turbolinux.com/.
The Monash Parametric Modelling Engine is described at http://hathor.cs.monash.edu.au/.
The early work on Nimrod and current work on a new global version of Nimrod called Nimrod/G can be found at http://www.csse.monash.edu.au/~davida/nimrod.html.