TOPLAS 20(5) Sept 1998

() ACM Transactions on Programming Languages and Systems (TOPLAS)  

Apt, Krzysztof R.; Brunekreef, Jacob; Partington, (1998) Apt, Krzysztof R.; Brunekreef, Jacob; Partington, Vincent; Schaerf, Andrea "Alma-O: an imperative language that supports declarative programming"