Local variable scoping and Kleene algebra with tests
scientific article; zbMATH DE number 5290916
scientific article