Статья

Архив Зарубежные командировки Командировка в Италию (1982)Материалы, привезенные с Капри.

Статья

Статья

"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.

Авторы:

Род М. Берсталл
Джозеф Гоген