Alma-0: An imperative language that supports declarative programming (1998)

by K R Apt, J Brunekreef, V Partington, A Schaerf
Venue:ACM Toplas