Jean-Baptiste Jeannin, Dexter Kozen. Computing with Capsules. Journal of Automata, Languages and Combinatorics, 17(2-4):185-204, 2012.
@article{JeanninK12-1,
title = {Computing with Capsules},
author = {Jean-Baptiste Jeannin and Dexter Kozen},
year = {2012},
researchr = {https://researchr.org/publication/JeanninK12-1},
cites = {0},
citedby = {0},
journal = {Journal of Automata, Languages and Combinatorics},
volume = {17},
number = {2-4},
pages = {185-204},
}