https://9dok.net/document/yj7v4dgk-logische-methoden-des-software-engineerings.html