Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
scientific article; zbMATH DE number 3675289
scientific article