Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. In Thirtieth International
Colloquium on Automata, Languages and Programming, ICALP'03, Eindhoven, The Netherlands, June 30 — July 4, 2003, volume 2719 of Lecture Notes in Computer Science, pages 871–885.
Springer-Verlag, 2003.[1] [Архівовано 18 липня 2008 у Wayback Machine.]
web.archive.org
Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. In Thirtieth International
Colloquium on Automata, Languages and Programming, ICALP'03, Eindhoven, The Netherlands, June 30 — July 4, 2003, volume 2719 of Lecture Notes in Computer Science, pages 871–885.
Springer-Verlag, 2003.[1] [Архівовано 18 липня 2008 у Wayback Machine.]