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