Quantification in algol-like languages
โ
R.D. Tennent
๐
Article
๐
1987
๐
Elsevier Science
๐
English
โ 312 KB