Specification metalanguage used for a formal definition of Ada. "An Introduction to the SMoLCS Methodology", E. Astesiano, U Genova 1986.

In addition suitable contents:
[ ag ] [ al ] [ an ] [ at ] [ C ] [ ca ] [ cat ] [ ci ] [ de ] [ do ] [ du ] [ E ] [ ec ] [ ed ] [ es ] [ et ] [ fi ] [ fo ] [ for ] [ G ] [ ge ] [ gu ] [ gy ] [ h ] [ in ] [ io ] [ it ] [ la ] [ language ] [ LCS ] [ M ] [ ma ] [ meta ] [ metalanguage ] [ ng ] [ ni ] [ no ] [ pe ] [ ro ] [ S ] [ se ] [ si ] [ Spec ] [ st ] [ th ] [ to ] [ tr ] [ ua ] [ us ] [ va ]