Acta informatica (Springer-Verlag Heidelberg, 1971)
Refereed/Peer-reviewed