Text this: Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms