Arithmetical Classification of Perfect Models of Stratified Programs, Fundamenta Informaticae 13 (1990)

by K R Apt, H A Blair