Automated verification of reactive and concurrent programs by calculation - Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim (Journal of logical and algebraic methods in programming, 2021)