Source: http://www.educa.fmf.uni-lj.si/logo/doc/Feb.97/chpt1.pdf