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