Login / Signup

Quantification in Algol-Like Languages.

Robert D. Tennent
Published in: Inf. Process. Lett. (1987)
Keyphrases