Source: https://people.fjfi.cvut.cz/novotant/jarmila.novotna/SyntheseDef.pdf