Strnadel, J., Pečenka, T., & Kotásek, Z. (2008). Measuring CADeT Performance by Means of FITTest BENCH06 Benchmark Circuits. Computing and Informatics, 27(6), 913–930. https://cai.type.sk/content/2008/6/measuring-cadet-performance-by-means-of-fittest-_bench06-benchmark-circuits/