Program schemata technique for propositional program logics: A 30-year history. - Nikolay V. Shilov 002; Svetlana O. Shilova; A. Yu. Bernshtein (Program. Comput. Softw., 2016)