Alma-O: An Imperative Language That Supports Declarative Programming. - Krzysztof R. Apt; Jacob Brunekreef; Vincent Partington; Andrea Schaerf (ACM Trans. Program. Lang. Syst., 1998)