Notes:
http://cg.cs.tu-berlin.de/hardware_vl/bool/
http://www.minet.uni-jena.de/~matthi/www.ct-projekt.smigel.de/node154.html