Calculus of Functions for Programme Derivation.
Publisher: Univ.Oxf.Computing Lab.,Programming Research Gp.
Published: 1987
Language: und
Number of pages: 21