MILNE, George J (zost.). Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993. 1.vyd. Berlin : Springer Verlag, 1993. 269 s. ISBN 3-540-56778-X. E*