Joseph Babb, Joohyung Lee: Action language ℬℭ+. J. Log. Comput. 30(4): 899-922 (2020)