A calculus for recursive program schemes:
Saved in:
Bibliographic Details
Main Authors: Bakker, Jacobus W. de 1939-2012 (Author), Roever, Willem-Paul de 1943- (Author)
Format: Book
Language:English
Published: Amsterdam 1972
Series:Mathematisch Centrum <Amsterdam> / Rekenafdeling: MR 131
Physical Description:61 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!