Algebraic specification - Bergstra J A; Heering J; Klint P (Wokingham Addison-Wesley Pub., 1989)
Keywords: Mathematical logic