@article(AC04,
 author       = "S. Abramsky and B. Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 journal      = "Proc. IEEE Symp. Logic In Comp. Sci.",
 pages        = "415--425",
 doi          = "10.1109/LICS.2004.1319636",
)
@article(Adamatzky_2007,
 author       = "Andrew Adamatzky",
 year         = "2007",
 title        = "Physarum machines: encapsulating reaction-diffusion to compute spanning tree",
 journal      = "Naturwissenschaften",
 volume       = "94",
 number       = "12",
 pages        = "975--980",
 doi          = "10.1007/s00114-007-0276-5",
)
@book(Amos,
 author       = "Martyn Amos",
 year         = "2005",
 title        = "Theoretical and Experimental DNA Computation",
 publisher    = "Springer",
 isbn = "978-3-642-08504-8",
)
@article(AB09,
 author       = "Janet Anders and Dan Browne",
 year         = "2009",
 title        = "Computational power of correlations",
 journal      = "Phys.~Rev.~Lett.",
 volume       = "102",
 pages        = "050502",
 doi          = "10.1103/PhysRevLett.102.050502",
)
@article(AOKBA10,
 author       = "Janet Anders and Daniel K. L. Oi and Elham Kashefi and Dan E. Browne and Erika Andersson",
 year         = "2010",
 title        = "Ancilla-driven universal quantum computation",
 journal      = "Phys.~Rev.~A",
 volume       = "82",
 number       = "2",
 pages        = "020301",
 doi          = "10.1103/PhysRevA.82.020301",
)
@inproceedings(SS-WSCS04,
 author       = "Richard Banach and Czeslaw Jeske and Simon Fraser and Richard Cross and Michael Poppleton and Susan Stepney and Steven King",
 year         = "2004",
 title        = "Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position",
 booktitle    = "WSCS, IEEE ICECCS'04",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.9231",
)
@article(SS-FI-06,
 author       = "Richard Banach and Czeslaw Jeske and Mike Poppleton and Susan Stepney",
 year         = "2007",
 title        = "Retrenching the Purse",
 journal      = "Fundamenta Informaticae",
 volume       = "77",
 pages        = "29--69",
 url          = "http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8631",
)
@inproceedings(Banach98,
 author       = "Richard Banach and Mike Poppleton",
 year         = "1998",
 title        = "Retrenchment: an engineering variation on refinement",
 booktitle    = "2nd Intl. B Conference",
 series       = "LNCS",
 volume       = "1393",
 publisher    = "Springer",
 pages        = "129--147",
 doi          = "10.1007/BFb0053358",
)
@article(Banach2007301,
 author       = "Richard Banach and Mike Poppleton and Czeslaw Jeske and Susan Stepney",
 year         = "2007",
 title        = "Engineering and theoretical underpinnings of retrenchment",
 journal      = "Sci. Comp. Prog.",
 volume       = "67",
 number       = "2-3",
 pages        = "301--329",
 doi          = "10.1016/j.scico.2007.04.002",
)
@article(BSS11,
 author       = "M. Bechmann and A. Sebald and S. Stepney",
 year         = "2011",
 title        = "Boolean logic-gate design principles in unconventional computers: an {NMR} case study",
 journal      = "International J.~Unconventional Computing",
 note         = "In press",
)
@inproceedings(SS-ICES2010,
 author       = "Matthias Bechmann and Angelika Sebald and Susan Stepney",
 year         = "2010",
 title        = "From binary to continuous gates -- and back again",
 booktitle    = "ICES 2010",
 series       = "LNCS",
 volume       = "6274",
 publisher    = "Springer",
 pages        = "335--347",
 doi          = "10.1007/978-3-642-15323-5_29",
)
@article(Blakey2010,
 author       = "Ed Blakey",
 year         = "2010",
 title        = "Unconventional complexity measures for unconventional computers",
 journal      = "Natural Computing",
 doi          = "10.1007/s11047-010-9226-9",
)
@misc(BHKM11,
 author       = "K. L. Brown and C. Horsman and V. M. Kendon and W. J. Munro",
 year         = "2011",
 title        = "Layer by layer generation of cluster states",
 url          = "http://arxiv.org/abs/1111.1774v1",
)
@article(BDKM10,
 author       = "Katherine L. Brown and Suvabrata De and Viv Kendon and William J. Munro",
 year         = "2011",
 title        = "Ancilla-based quantum simulation",
 journal      = "New J. Phys.",
 volume       = "13",
 pages        = "095007",
 doi          = "10.1088/1367-2630/13/9/095007",
)
@article(SS-REFINE05a,
 author       = "John A. Clark and Susan Stepney and Howard Chivers",
 year         = "2005",
 title        = "Breaking the Model: finalisation and a taxonomy of security attacks",
 journal      = "ENTCS",
 volume       = "137",
 number       = "2",
 pages        = "225--242",
 doi          = "10.1016/j.entcs.2005.04.033",
)
@techreport(SS-YCS-347,
 author       = "D. Cooper and S. Stepney and J. Woodcock",
 year         = "2002",
 title        = "Derivation of {Z} Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement",
 type         = "Technical Report",
 number       = "YCS-2002-347",
 institution  = "Department of Computer Science, University of York",
 url          = "http://www.cs.york.ac.uk/ftpdir/reports/2002/YCS/347/YCS-2002-347.pdf",
)
@article(Cory2000,
 author       = "David G. Cory",
 year         = "2000",
 title        = "{NMR} Based Quantum Information Processing: Achievements and Prospects",
 journal      = "Fortschritte der Physik",
 volume       = "48",
 number       = "9--11",
 pages        = "875--907",
 doi          = "10.1002/1521-3978(200009)48:9/11",
)
@article(DHP06,
 author       = "E. {d'H}ondt and P. Panangaden",
 year         = "2006",
 title        = "Quantum weakest preconditions",
 journal      = "Math. Struct. Comp. Sci.",
 volume       = "16",
 number       = "3",
 pages        = "429--451",
 doi          = "10.1017/S0960129506005251",
)
@article(DiV00,
 author       = "David P. DiVincenzo",
 year         = "2000",
 title        = "The Physical Implementation of Quantum Computation",
 journal      = "Fortschritte der Physik",
 volume       = "48",
 number       = "9--11",
 pages        = "771--783",
 doi          = "10.1002/1521-3978(200009)48:9/11",
 note         = "ArXiv:quant-ph/0002077v3",
)
@article(PH1,
 author       = "Peter Hines",
 year         = "1999",
 title        = "The categorical theory of self-similarity",
 journal      = "Theory and Applications of Categories",
 volume       = "6",
 pages        = "33--46",
 url          = "http://emis.math.ca/journals/TAC/volumes/6/n3/n3.pdf",
)
@article(PH2,
 author       = "Peter Hines",
 year         = "2003",
 title        = "A categorical framework for finite state machines",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "13",
 pages        = "451--480",
 doi          = "10.1017/S0960129503003931",
)
@article(HBMK11,
 author       = "Clare Horsman and Katherine L. Brown and William J. Munro and Vivien M. Kendon",
 year         = "2011",
 title        = "Reduce, reuse, recycle for robust cluster-state generation",
 journal      = "Phys. Rev. A",
 volume       = "83",
 number       = "4",
 pages        = "042327",
 doi          = "10.1103/PhysRevA.83.042327",
)
@article(Jones2011,
 author       = "Jonathan A. Jones",
 year         = "2011",
 title        = "Quantum computing with {NMR}",
 journal      = "Progress in Nuclear Magnetic Resonance Spectroscopy",
 volume       = "59",
 pages        = "91--120",
 doi          = "10.1016/j.pnmrs.2010.11.001",
)
@misc(Jozsa05,
 author       = "Richard Jozsa",
 year         = "2005",
 title        = "An introduction to measurement based quantum computation",
 url          = "http://arxiv.org/abs/quant-ph/0508124",
)
@inproceedings(KSSBHW11,
 author       = "V. Kendon and A. Sebald and S. Stepney and Matthias Bechmann and Peter Hines and Robert C. Wagner",
 year         = "2011",
 title        = "Heterotic computing",
 booktitle    = "Unconventional Computation, LNCS",
 volume       = "6714",
 publisher    = "Springer",
 pages        = "113--124",
 doi          = "10.1007/978-3-642-21341-0_16",
)
@article(Kuhnert_1989,
 author       = "L. Kuhnert and K. Agladze and V. Krinsky",
 year         = "1989",
 title        = "Image processing using light-sensitive chemical waves",
 journal      = "Nature",
 volume       = "337",
 pages        = "244--247",
 doi          = "10.1038/337244a0",
)
@book(LS,
 author       = "J. Lambek and P. J. Scott",
 year         = "1988",
 title        = "An introduction to higher-order categorical logic",
 series       = "Cambridge Studies in Advanced Mathematics",
 volume       = "7",
 publisher    = "Cambridge University Press",
 isbn = "9780521356534",
)
@article(lloyd99b,
 author       = "Seth Lloyd and Samuel L Braunstein",
 year         = "1999",
 title        = "Quantum computation over continuous variables",
 journal      = "Phys.~Rev.~Lett.",
 volume       = "82",
 pages        = "1784",
 doi          = "10.1103/PhysRevLett.82.1784",
)
@book(MCL,
 author       = "Saunders {Mac Lane}",
 year         = "1971",
 title        = "Categories for the working mathematician",
 series       = "Graduate Texts in Mathematics, 1st Ed.",
 publisher    = "Springer Verlag",
 isbn = "0387900357",
)
@article(milburn2000,
 author       = "G. J. Milburn and S. Schneider and D. F. V. James",
 year         = "2000",
 title        = "Ion Trap Quantum Computing with Warm Ions",
 journal      = "Fortschr.~Phys.",
 volume       = "48",
 pages        = "801--810",
 doi          = "10.1002/1521-3978(200009)48:9/11<801::AID-PROP801>3.0.CO;2-1",
)
@article(mills08a,
 author       = "Jonathan W. Mills",
 year         = "2008",
 title        = "The nature of the Extended Analog Computer",
 journal      = "Physica D: Nonlinear Phenomena",
 volume       = "237",
 number       = "9",
 pages        = "1235--1256",
 doi          = "10.1016/j.physd.2008.03.041",
)
@article(Motoike2005107,
 author       = "Ikuko N. Motoike and Andrew Adamatzky",
 year         = "2005",
 title        = "Three-valued logic gates in reaction-diffusion excitable media",
 journal      = "Chaos, Solitons \& Fractals",
 volume       = "24",
 number       = "1",
 pages        = "107--114",
 doi          = "10.1016/S0960-0779(04)00461-8",
)
@article(RB01,
 author       = "Robert Raussendorf and Hans J Briegel",
 year         = "2001",
 title        = "A One-Way Quantum Computer",
 journal      = "Phys.~Rev.~Lett.",
 volume       = "86",
 pages        = "5188--5191",
 doi          = "10.1103/PhysRevLett.86.5188",
)
@article(RBSS10,
 author       = "M. Rosell\'{o}-Merino and M. Bechmann and A. Sebald and S. Stepney",
 year         = "2010",
 title        = "Classical computing in nuclear magnetic resonance.",
 journal      = "International J.~Unconventional Computing",
 volume       = "6",
 number       = "3--4",
 pages        = "163--195",
 url          = "http://www-users.cs.york.ac.uk/susan/bib/ss/nonstd/ijnmc09.pdf",
)
@article(silvagraca04a,
 author       = "D. {Silva Gra\c {c}a}",
 year         = "2004",
 title        = "Some Recent Developments on {S}hannon's {GPAC}",
 journal      = "Math.~Log.~Quart.",
 volume       = "50",
 number       = "4--5",
 pages        = "473--485",
 doi          = "10.1002/malq.200310113",
)
@article(spiller05a,
 author       = "T. P. Spiller and W. J. Munro and S. D. Barrett and P. Kok",
 year         = "2005",
 title        = "An introduction to quantum information processing: applications and realisations",
 journal      = "Comptemporary Physics",
 volume       = "46",
 pages        = "407",
 doi          = "10.1080/00107510500293261",
)
@article(spiller05b,
 author       = "T. P. Spiller and Kae Nemoto and Samuel L. Braunstein and W. J. Munro and P. van Loock and G. J. Milburn",
 year         = "2006",
 title        = "Quantum Computation by Communication",
 journal      = "New J.~Phys.",
 volume       = "8",
 pages        = "30",
 doi          = "10.1088/1367-2630/8/2/030",
)
@article(SS-PhysicaD-08,
 author       = "Susan Stepney",
 year         = "2008",
 title        = "The Neglected Pillar of Material Computation",
 journal      = "Physica D: Nonlinear Phenomena",
 volume       = "237",
 number       = "9",
 pages        = "1157--1164",
 doi          = "10.1016/j.physd.2008.01.028",
)
@article(Toth_1995,
 author       = "{\'A}gota T{\'o}th and Kenneth Showalter",
 year         = "1995",
 title        = "Logic gates in excitable media",
 journal      = "J. Chem. Phys",
 volume       = "103",
 pages        = "2058--2066",
 doi          = "10.1063/1.469732",
)
@article(Tucker2010,
 author       = "Rodney S. Tucker",
 year         = "2010",
 title        = "The role of optics in computing",
 journal      = "Nature Photonics",
 volume       = "4",
 pages        = "405",
 doi          = "10.1038/nphoton.2010.162",
)
@article(Wegner,
 author       = "Peter Wegner",
 year         = "1997",
 title        = "Why interaction is more powerful than algorithms",
 journal      = "CACM",
 volume       = "40",
 pages        = "80--91",
 doi          = "10.1145/253769.253801",
)
@incollection(Woods2008,
 author       = "Damien Woods and Thomas J. Naughton",
 year         = "2008",
 title        = "Parallel and Sequential Optical Computing",
 booktitle    = "Optical SuperComputing",
 series       = "LNCS",
 volume       = "5172",
 publisher    = "Springer",
 pages        = "70--86",
 doi          = "10.1007/978-3-540-85673-3_6",
)