Без заголовка

Это верное направление. В этом же смысле я солидарен с людьми, предпочитающими императивные языки. Претензии функциональщиков: плохая семантика, трудно анализировать и верифицировать. Аргумент императивщиков, что это удобно, отметается с намеком на умственные способности. Но ребята из CS, то, что семантика пока не разработана, что вы не умеете верифицировать проги с побочными эффектами - это ведь ваша недоделка, строго говоря, так что работайте. Примерно тоже самое верно и для представления процессов. Я употребил слово "естественный" скорее в том смысле, что это естественная база для формализации (того, что будет выражено в "очеловеченных" нотациях).