Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology. - Sergii Kryvyi; Sergii Porogilyy; Maksym Slynko (UkrPROG, 2018)