Brian Bailey

• The blogging church
• The Ordnance Survey Guide to Great British Ruins
• ESL design and verification
• ESL Models and their Application
• Hitting the mark
• Joseph
• Massacres
• Ruth
• Taxonomies for the Development and Verification of Digital Systems
• The Assassination File
• The Functional Verification of Electronic Systems
• The Guinness Book of Crime (Guinness)