Черненко И.М. Шаблоны требований, возникающих при дедуктивной верификации процесс-ориентированных программ, и примеры их использования // № 22, 2023
