TY  - BOOK
AU  - Relchel Horst
TI  - Initial computability, algebraic specifications and partial algebras
U1  - B2obD6,8(B), M7 
PY  - 1987///
ER  -