doi dblp The Czechoslovak computer information system ASTI Miroslav Fendrych | Jiri Fogl 1971 Volume 7 Issue 5