(1)
Silva, A. Dynamic Logic: A Review. AIMag 2002, 23, 119.