Algorithmic Program Verification publications