A.C.M.
ACM Transactions on Programming Languages and Systems
Networks and Optimization

Apt, K., Brunekreef, J., Partinton, V., & Schaerf, A. (1998). Alma-0: An imperative language thet supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5), 1014–1066.