https://9pdf.org/document/yr3d86op-lectures-beida-dines-bjørner-informatics-techn-denmark-november.html