Algebraic specification (ACM Pr. [u.a.], 1989)