Matematičeskaja logika i jeje primenenija. Vyp. 4 : Algoritmičeskije voprosy formaľnych sistem. Materialy k seminaru - Maljaukene, Livija (Institut matematiki i kibernetiki AN Litovksoj SSR, 1985)