ComputationalLogic.com provides an archive of their results for hardware modeling
About ComputationalLogic.com
From its founding, in 1983, through 1997 Computational Logic Inc. (CLI) performed advanced research and development in mathematical modeling of digital hardware and software systems. This web site provides an archive for those results.