https://9dok.org/document/y9635ell-istv-andonk-o-ambruskaposi-melindat-oth-formalizingarelationalmodelofconcurrentprogramsinadependentlytypedenvironment.html