Source: http://www.math.bas.bg/bantchev/place/go/effective-go.pdf