http://cs.wwc.edu/%7Eaabyan/Logic/ http://www.phil.mq.edu.au/isl/ http://www.doc.ic.ac.uk/~mcs98/research/index.html http://c2.com/cgi/wiki?CodeSmells http://linus.socs.uts.edu.au/~cotar/proto/programme.html http://www.rescomp.berkeley.edu/~hossman/cs263/paper.html http://world.std.com/~pitman/PS/Hindsight.html http://lsi.uniovi.es/~labra/APL.html