Apt R.R. Arithmetic ckassification of perfect models of stratified programs (Extended version) / R.R.Apt,H.A.Blair, 1989. - 17 p. - Текст : непосредственный.