Статья М. Миякавы для журнала "Acta Informatica"