Письмо

Просит опубликовать свою статью "Discovering Concurrency by Means of Graphs" в журнале IPL. Говорит, что ради уменьшения размера статьи опущены доказательства теорем, но они могут быть легко вставлены, если этого потребует рецензент.