SEARCH Articles Figures Tables Algorithm languages Algorithmic specification And language Language specific Program Specifications Programming language Specification languages