Brunekreef, J. Annotated algebraic specification of the syntax and semantics of the programming language Alma-0 Technical report P9803, Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, The Netherlands, 1998.

Languages mentioned

• Alma {1997} Imperative Constraint Programming Language