Xinyu Feng Zhong Shao Yu Guo Yuan Dong Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. 54-69 2008 VSTTE http://dx.doi.org/10.1007/978-3-540-87873-5_8 conf/vstte/2008 db/conf/vstte/vstte2008.html#FengSGD08