A specification language based on initial algebras. ["An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The Correctness Problem in Computer Science, R.S. Boyer et al eds, Academic Press 1981, pp. 185-213]. (1994-11-03)

In addition suitable contents:
[ 2 ] [ = ] [ ad ] [ ag ] [ al ] [ algebra ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ base ] [ br ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ CL ] [ Computer ] [ de ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ it ] [ la ] [ language ] [ Lex ] [ M ] [ ma ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ om ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ si ] [ Spec ] [ spec ] [ specification ] [ st ] [ T ] [ tn ] [ to ] [ tr ] [ ua ] [ ye ]