Didier Galmiche;Eric Boudinet
-;-
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science