资料来源 : Free On-Line Dictionary of Computing

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)