TY  - JOUR
AU  - Materna, Pavel
TI  - Theory of types and data description
JO  - Kybernetika
PY  - 1978
SP  - 
EP  - 327
VL  - 14
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1978__14_5_a0/
LA  - en
ID  - KYB_1978__14_5_a0
ER  -