4 works on record
Formal Specification Level
Reversible Computation
Natural Language Processing for Electronic Design Automation
Advanced Boolean Techniques