1. Arase K. 2000. Simcir. http://www.tt.rim.or.jp/~kazz/simcir. Arase K. 2000. Simcir. http://www.tt.rim.or.jp/~kazz/simcir.
2. Boothe B. 1999. Probe. http://www.scit.wlv.ac.uk/~cm1970/probe/webpage/. Boothe B. 1999. Probe. http://www.scit.wlv.ac.uk/~cm1970/probe/webpage/.
3. Capilano Computing Systems Ltd. 1999. LogicWorks. http://www.logicworks4.com/. Capilano Computing Systems Ltd. 1999. LogicWorks. http://www.logicworks4.com/.
4. Capilano Computing Systems Ltd. 2001. DesignWorks. http://www.designworks4.com/. Capilano Computing Systems Ltd. 2001. DesignWorks. http://www.designworks4.com/.
5. Craig D. 1997. DigiTCL. http://www.cs.mun.ca/~donald/digitcl/. Craig D. 1997. DigiTCL. http://www.cs.mun.ca/~donald/digitcl/.