Příklady úspěšných aplikací PVS a robotizovaných komplexů - Svoboda, Karel (Praha : Videopress-MON, 1989)