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

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 ]