Prakash Panangaden. 2017 Kleene award. SIGLOG News, 4(3):10, 2017. [doi]
@article{Panangaden17b, title = {2017 Kleene award}, author = {Prakash Panangaden}, year = {2017}, doi = {10.1145/3129173.3129176}, url = {http://doi.acm.org/10.1145/3129173.3129176}, researchr = {https://researchr.org/publication/Panangaden17b}, cites = {0}, citedby = {0}, journal = {SIGLOG News}, volume = {4}, number = {3}, pages = {10}, }