EnFuzion is described on the TurboLinux web page at https://www.turbolinux.com/.
The Monash Parametric Modelling Engine is described at https://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 https://www.csse.monash.edu.au/~davida/nimrod.html.