Program Construction and Verification Components Based on Kleene Algebra by Victor B. F. Gomes and Georg Struth Jun 18