, , ,
IOS Press
Fundamenta Informaticae
Networks and Optimization

Apt, K., & Blair, H. A. (1990). Arithmetic classification of perfect models of stratified programs. Fundamenta Informaticae, 13(1), 1–17.