A specification language. ["A Look at Algebraic specifications", s.N. Zilles et al, IBM RR, 1982]. (1994-11-16)

style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ 2 ] [ ag ] [ ai ] [ al ] [ an ] [ at ] [ B ] [ b ] [ br ] [ ca ] [ cat ] [ ci ] [ ec ] [ es ] [ et ] [ fi ] [ ge ] [ gu ] [ IBM ] [ il ] [ io ] [ la ] [ language ] [ M ] [ N ] [ ng ] [ ns ] [ pe ] [ s ] [ spec ] [ spec ] [ specification ] [ ua ] [ Z ]