Computing with capsules (2011)

by J-B Jeannin, D Kozen