Samuel N. Kamin The Expressive Theory of Stacks. 695-709 1987 24 Acta Inf. 6 db/journals/acta/acta24.html#Kamin87 http://dx.doi.org/10.1007/BF00282622