So I rented a book from the computer science library.
"Systems and Software Verification", a translation from
the French original written by Philippe Schnoebelen.
Wait, I could swear I read the name somewhere else...
TIL: Problemists have a life. This came totally
unexpected to me. Now if I only can get him to
do my homework :-)