Alma-0: An Imperative Language that Supports Declarative Programming (1998)

by Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf