Algebric specification - Bergstra, Jan; Heering, J.; Klint, Paul (ACM Press, 1989)