https://123dok.net/document/yngnnep0-bisimulations-dans-les-calculs-avec-passivation.html