Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxCMp (Publisher version)
Basin, D., & Klarlund, N. (1995). Hardware Verification using Monadic Second‐order Logic. In P. Wolper (Ed.), Computer Aided Verification (pp. 31-41). Berlin: Springer.