Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 - Milne, George J; Pierre, Laurence (Springer Verlag, 1993)