@inproceedings(AlvesS:gracp,
 author       = "Sandra Alves and Maribel Fern{\'a}ndez and Ian Mackie",
 year         = "2011",
 title        = "A new graphical calculus of proofs",
 editor       = "Echahed",
 booktitle    = "Proceedings of TERMGRAPH 2011",
 publisher    = "EPTCS",
 pages        = "69--84",
 url          = "http://dx.doi.org/10.4204/EPTCS.48.8",
)
@inproceedings(AndreiO:PORGY,
 author       = "Oana Andrei and Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Guy Melan\c {c}on and Olivier Namet and Bruno Pinaud",
 year         = "2011",
 title        = "PORGY: Strategy-Driven Interactive Transformation of Graphs",
 editor       = "Echahed",
 booktitle    = "Proceedings of TERMGRAPH 2011",
 publisher    = "EPTCS",
 pages        = "54--68",
 url          = "http://dx.doi.org/10.4204/EPTCS.48.7",
)
@article(AndreiK08,
 author       = "Oana Andrei and H{\'e}l{\`e}ne Kirchner",
 year         = "2008",
 title        = "A Rewriting Calculus for Multigraphs with Ports",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "219",
 pages        = "67--82",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.10.035",
)
@article(AspertiA:bolhom,
 author       = "Andrea Asperti and Cecilia Giovannetti and Andrea Naletto",
 year         = "1996",
 title        = "The {B}ologna Optimal Higher-order Machine",
 journal      = "Journal of Functional Programming",
 volume       = "6",
 number       = "6",
 pages        = "763--810",
 url          = "http://dx.doi.org/10.1017/S0956796800001994",
)
@article(rhoCalIGLP-I+II-2001,
 author       = "Horatiu Cirstea and Claude Kirchner",
 year         = "2001",
 title        = "The rewriting calculus --- {Part~I {\em and} II}",
 journal      = "Logic Journal of the Interest Group in Pure and Applied Logics",
 volume       = "9",
 number       = "3",
 pages        = "427--498",
 url          = "http://dx.doi.org/10.1093/jigpal/9.3.339",
)
@inproceedings(Drewes-Hoffmann-Plump:00,
 author       = "Frank Drewes and Berthold Hoffmann and Detlef Plump",
 year         = "2000",
 title        = "Hierarchical Graph Transformation",
 editor       = "Tiuryn",
 booktitle    = "Proc.\ Foundations of Software Science and Computation Structures (FOSSACS 2000)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1784",
 pages        = "98--113",
 url          = "http://dx.doi.org/10.1007/3-540-46432-8_7",
)
@article(FernandezM:inMCpa,
 author       = "M. Fern\'{a}ndez and L. Khalil",
 year         = "2003",
 title        = "Interaction nets with {M}c{C}arthy's amb: Properties and Applications",
 journal      = "Nordic Journal of Computing",
 volume       = "10",
 number       = "2",
 pages        = "134--162",
 url          = "http://dx.doi.org/10.1016/S1571-0661(05)80363-9",
)
@inproceedings(FernandezM:terrgi,
 author       = "M. Fern\'andez and I. Mackie",
 year         = "1996",
 title        = "From Term Rewriting to Generalised Interaction Nets",
 booktitle    = "Proceedings of PLILP'96. Programming Languages: Implementations, Logics, and Programs",
 series       = "Lecture Notes in Computer Science",
 volume       = "1140",
 publisher    = "Springer-Verlag",
 url          = "http://dx.doi.org/10.1007/3-540-61756-6_94",
)
@article(MackieIC:intntr,
 author       = "Maribel Fern{\'a}ndez and Ian Mackie",
 year         = "1998",
 title        = "Interaction Nets and Term Rewriting Systems",
 journal      = "Theoretical Computer Science",
 volume       = "190",
 number       = "1",
 pages        = "3--39",
 url          = "http://dx.doi.org/10.1016/S0304-3975(97)00082-0",
)
@article(EXPRESS,
 author       = "Maribel Fern{\'a}ndez and Ian Mackie and Fran\c {c}ois R{\'e}gis Sinot",
 year         = "2006",
 title        = "Interaction Nets vs. the {\it rho}-calculus: Introducing Bigraphical Nets",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "154",
 number       = "3",
 pages        = "19--32",
 url          = "http://dx.doi.org/10.1016/j.entcs.2006.05.004",
)
@inproceedings(FleutotF:encoci,
 author       = "Fabien Fleutot",
 year         = "2004",
 title        = "Encoding an Object Calculus into Interaction Nets",
 editor       = "M. Fernandez",
 booktitle    = "Proc. of the 2nd Int. Workshop on Term Graph Rewriting (TERMGRAPH 2004)",
 series       = "ENTCS",
 address      = "Rome",
 url          = "http://dx.doi.org/10.1016/j.entcs.2005.03.024",
)
@inproceedings(GonthierG:geoolr,
 author       = "Georges Gonthier and Mart{\'\i }n Abadi and Jean-Jacques L{\'e}vy",
 year         = "1992",
 title        = "The Geometry of Optimal Lambda Reduction",
 booktitle    = "Proceedings of the 19th {ACM} Symposium on Principles of Programming Languages (POPL'92)",
 publisher    = "ACM Press",
 pages        = "15--26",
 url          = "http://dx.doi.org/10.1145/143165.143172",
)
@inproceedings(MackieIC:diagrams,
 author       = "Abubakar Hassan and Ian Mackie and Jorge Sousa Pinto",
 year         = "2008",
 title        = "Visual Programming with Interaction Nets",
 editor       = "Gem Stapleton and John Howse and John Lee",
 booktitle    = "Diagrams",
 series       = "Lecture Notes in Computer Science",
 volume       = "5223",
 publisher    = "Springer",
 pages        = "165--171",
 url          = "http://dx.doi.org/10.1007/978-3-540-87730-1_17",
)
@misc(jensen03bigraphs,
 author       = "O. Jensen and R. Milner",
 year         = "2004",
 title        = "Bigraphs and mobile processes (revised)",
 howpublished = "Technical Report 580, Computer Laboratory, University of Cambridge",
)
@inproceedings(LafontY:intn,
 author       = "Yves Lafont",
 year         = "1990",
 title        = "Interaction Nets",
 booktitle    = "Proceedings of the 17th {ACM} Symposium on Principles of Programming Languages ({POPL}'90)",
 publisher    = "ACM Press",
 pages        = "95--108",
 url          = "http://dx.doi.org/10.1145/96709.96718",
)
@incollection(LafontY:fropni,
 author       = "Yves Lafont",
 year         = "1995",
 title        = "From Proof Nets to Interaction Nets",
 editor       = "J.-Y. Girard and Y. Lafont and L. Regnier",
 booktitle    = "Advances in Linear Logic",
 series       = "London Mathematical Society Lecture Note Series",
 volume       = "222",
 publisher    = "Cambridge University Press",
 pages        = "225--247",
 url          = "http://dx.doi.org/10.1017/CBO9780511629150.012",
)
@phdthesis(MackieIC:phd,
 author       = "Ian Mackie",
 year         = "1994",
 title        = "The Geometry of Implementation",
 school       = "Department of Computing, Imperial College of Science, Technology and Medicine",
)
@inproceedings(MackieIC:efflei,
 author       = "Ian Mackie",
 year         = "2004",
 title        = "Efficient $\lambda $-evaluation with interaction nets",
 editor       = "V. van Oostrom",
 booktitle    = "Proc.\ 15th Int.\ Conference on Rewriting Techniques and Applications (RTA'04)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3091",
 publisher    = "Springer-Verlag",
 pages        = "155--169",
 url          = "http://dx.doi.org/10.1007/978-3-540-25979-4_11",
)
@inproceedings(MackieIC:vcc,
 author       = "Ian Mackie",
 year         = "2009",
 title        = "A rewriting paradigm for program and algorithm animation",
 booktitle    = "VL/HCC",
 publisher    = "IEEE",
 pages        = "170--173",
 url          = "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295272",
)
@inproceedings(MackieIC:tamc,
 author       = "Ian Mackie",
 year         = "2010",
 title        = "A Visual Model of Computation",
 editor       = "Jan Kratochv\'{\i }l and Angsheng Li and Jir\'{\i } Fiala and Petr Kolman",
 booktitle    = "TAMC",
 series       = "Lecture Notes in Computer Science",
 volume       = "6108",
 publisher    = "Springer",
 pages        = "350--360",
 url          = "http://dx.doi.org/10.1007/978-3-642-13562-0_32",
)
@inproceedings(Milner,
 author       = "Robin Milner",
 year         = "2001",
 title        = "Bigraphical Reactive Systems",
 editor       = "Kim Guldstrand Larsen and Mogens Nielsen",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "2154",
 publisher    = "Springer",
 pages        = "16--35",
 url          = "http://dx.doi.org/10.1007/3-540-44685-0_2",
)
@inproceedings(PintoJS:seqcam,
 author       = "Jorge Sousa Pinto",
 year         = "2000",
 title        = "Sequential and Concurrent Abstract Machines for Interaction Nets",
 editor       = "J. Tiuryn",
 booktitle    = "Proceedings of Foundations of Software Science and Computation Structures (FOSSACS)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1784",
 publisher    = "Springer-Verlag",
 pages        = "267--282",
 url          = "http://dx.doi.org/10.1007/3-540-46432-8_18",
)