Hacker News new | ask | show | jobs
DDD: A System for Mechanized Digital Design Derivation (1997) [pdf] (pdfs.semanticscholar.org)
1 points by steven741 2769 days ago