SECTION:  Computer Scienc.../ Theoretical programming/ Abstract data types; algebraic specification/