Journal Article
Štěpán Jaromír
: Kybernetika vol.26, 1 (1990), p. 31-46
: Relevantnost formálních teorií