TY  - RPRT
TI  - Abstract Computability, Algebraic Specification and Initiality
AU  - J. V. Tucker
AU  - J. I. Zucker
PY  - 2001
UR  - https://arxiv.org/abs/cs/0109001
ID  - cs/0109001
ER  -