DDD: A System for Mechanized Digital Design Derivation (1997) [pdf]pdfs.semanticscholar.org1 point·steven741··0 commentsOpen articleSaveView on HN