G. R. Andrews
-
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)