Flow-diagrams with sets

Alexei P. Stolboushkin. Flow-diagrams with sets. In Per Martin-Löf, Grigori Mints, editors, COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings. Volume 417 of Lecture Notes in Computer Science, pages 286-299, Springer, 1988.