Kokkuvõte: Tõeväärtusega arvutusprotsess ja protsessiarvutus : formalism programmeerimisloogika kirjeldamiseks
Резюме: Крахт В. Вычислительный процесс с логическим значением и исчисление процессов : формализм для описания логики программирования, в прил. с. 3