https://123dok.net/document/z1dw2dge-una-teoria-algebrica-per-guarded-commands-di-dijkstra.html