Ladění 85 : sborník referátů ze 3. celostátnoho semináře o metodách vytváření správných programů [konaného] 23.-25. dubna 1985, Český Krumlov. (Dům techniky Československé vědeckotechnické společnosti, 1985)