0 citations0 referencesGoogle Scholardoi.orgAlgebraic specification of data types: A synthetic approachTheory of Computing Systems·1981·Vol. 14(1), pp. 97–139Citations Over TimeTop 10% of 1981 papersDaniel Lehmann, Michael SmythRelated Papers→ The use of abstract data types to simplify program modifications(1976)26 cited→ It’s Past Time for Practical Computer Checked Proofs of Program Correctness(1990)1 cited→ Structures and Derived Types(2009)→ Data Abstraction(1983)→ Basic Data Types(2004)