Login / Signup

The Algebraic Specification of Semi-Computable Data Types.

Jos L. M. Vrancken
Published in: ADT (1987)
Keyphrases