Список цитирования публикации:
COMPOSITIONAL SPECIFICATION CALCULUS FOR INFORMATION SYSTEMS DEVELOPMENT