Source: https://www.bs.informatik.uni-siegen.de/web/wismueller/vl/bs1/v01_2.pdf