https://5dok.net/document/6qmgrr7q-algebra-of-communicating-processes-part-ii.html