Колчин, А. (2010). Автоматический метод динамического построения абстракций состояний формальной модели. Інститут кібернетики ім. В.М. Глушкова НАН України.
Чикаго стиль цитування (17-те видання)Колчин, А.В. Автоматический метод динамического построения абстракций состояний формальной модели. Інститут кібернетики ім. В.М. Глушкова НАН України, 2010.
Стиль цитування MLA (8-ме видання)Колчин, А.В. Автоматический метод динамического построения абстракций состояний формальной модели. Інститут кібернетики ім. В.М. Глушкова НАН України, 2010.
Попередження: стилі цитування не завжди правильні на всі 100%.