Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, and Silva, Alexandra. Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Retrieved from https://par.nsf.gov/biblio/10149379. Proceedings of the ACM on Programming Languages 4.POPL Web. doi:10.1145/3371129.

Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, & Silva, Alexandra. Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proceedings of the ACM on Programming Languages, 4 (POPL). Retrieved from https://par.nsf.gov/biblio/10149379. https://doi.org/10.1145/3371129

Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, and Silva, Alexandra. "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". Proceedings of the ACM on Programming Languages 4 (POPL). Country unknown/Code not available. https://doi.org/10.1145/3371129. https://par.nsf.gov/biblio/10149379.

@article{osti_10149379,
place = {Country unknown/Code not available}, title = {Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time}, url = {https://par.nsf.gov/biblio/10149379}, DOI = {10.1145/3371129}, abstractNote = {}, journal = {Proceedings of the ACM on Programming Languages}, volume = {4}, number = {POPL}, author = {Smolka, Steffen and Foster, Nate and Hsu, Justin and Kappé, Tobias and Kozen, Dexter and Silva, Alexandra}, }