Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_046.pdf (Any fulltext)
Sofronie-Stokkermans, V.(2008). Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems (ATR46). SFB/TR 14 AVACS.