"The control skeleton of a behavioural specification language". /Предварительный вариант для участников заседания./