David A. Schmidt Internal and External Logics of Abstract Interpretations. 263-278 2008 VMCAI https://doi.org/10.1007/978-3-540-78163-9_23 conf/vmcai/2008 db/conf/vmcai/vmcai2008.html#Schmidt08