Source: http://ftp.mi.fu-berlin.de/pub/reports/tr-b-01-04/kaner.pdf