The Free On-line Dictionary of Computing (30 December 2018):

Algebraic Specification Language

   1.  (ASL)

   ["Structured Algebraic Specifications: A Kernel Language",
   M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].

   2.  (ASF) A language for equational specification of
   abstract data types.

   ["Algebraic Specification", J.A. Bergstra et al, A-W 1989].

   (1995-12-13)