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

>Нотационный опыт в языках программирования разных парадигм (увы, тут не знаю куда ткнуть пальцем). http://en.wikipedia.org/wiki/Formal_semantics_of_programming_languages ?