"Hardware description levels and test for complex circuits."

Catherine Bellon, Gabriele Saucier, José-Maria Gobbi (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics