Linear Logic and Permutation Stacks–The Forth Shall Be First
web.archive.org