@inproceedings(EW09dsl,
 author       = "M. Erwig and E. Walkingshaw",
 year         = "2009",
 title        = "{A DSL for Explaining Probabilistic Reasoning}",
 booktitle    = "{IFIP Working Conference on Domain-Specific Languages}",
 series       = "LNCS 5658",
 pages        = "335--359",
)
@inproceedings(EW10hcc,
 author       = "M. Erwig and E. Walkingshaw",
 year         = "2010",
 title        = "{Causal Reasoning with Neuron Diagrams}",
 booktitle    = "{IEEE Int.\ Symp.\ on Visual Languages and Human-Centric Computing}",
 pages        = "101--108",
 doi          = "10.1109/VLHCC.2010.23",
)
@book(Gamma1995,
 author       = "E. Gamma and R. Helm and R. Johnson and J. Vlissides",
 year         = "1995",
 title        = "{Design Patterns: Elements of Reusable Object-Oriented Software}",
 publisher    = "Addison-wesley",
 address      = "Reading, MA, USA",
)
@article(Hall00,
 author       = "N. Hall",
 year         = "2000",
 title        = "{Causation and the Price of Transitivity}",
 journal      = "{The Journal of Philosophy}",
 volume       = "97",
 number       = "4",
 pages        = "198--222",
 doi          = "10.2307/2678390",
)
@article(Hall07,
 author       = "N. Hall",
 year         = "2007",
 title        = "{Structural Equations and Causation}",
 journal      = "{Philosophical Studies}",
 volume       = "132",
 pages        = "109--136",
 doi          = "10.1007/s11098-006-9057-9",
)
@article(HP05,
 author       = "J. Halpern and J. Pearl",
 year         = "2005",
 title        = "{Causes and Explanations: A Structural-Model Approach, Part I: Causes}",
 journal      = "{British Journal of Philosophy of Science}",
 volume       = "56",
 number       = "4",
 pages        = "843--887",
 doi          = "10.1093/bjps/axi147",
)
@article(Hitchcock01,
 author       = "C. Hitchcock",
 year         = "2001",
 title        = "{The Intransitivity of Causation Revealed in Equations and Graphs}",
 journal      = "{The Journal of Philosophy}",
 volume       = "98",
 number       = "6",
 pages        = "273--299",
 doi          = "10.2307/2678432",
)
@incollection(Hitchcock07,
 author       = "C. Hitchcock",
 year         = "2007",
 title        = "{What's Wrong with Neuron Diagrams?}",
 editor       = "J. K. Campbell and M. O'Rourke and H. Silverstein",
 booktitle    = "{Causation and Explanation}",
 publisher    = "{MIT Press}",
 address      = "Cambridge, MA",
 pages        = "69--92",
)
@book(Hume1748,
 author       = "D. Hume",
 year         = "1748",
 title        = "{An Enquiry Concerning Human Understanding}",
)
@article(LO94,
 author       = "K. L{\"a}ufer and M. Odersky",
 year         = "1994",
 title        = "{Polymorphic Type Inference and Abstract Data Types}",
 journal      = "{ACM Transactions on Programming Languages and Systems}",
 volume       = "16",
 number       = "5",
 pages        = "1411--1430",
 doi          = "10.1145/186025.186031",
)
@article(Lewis73,
 author       = "D. Lewis",
 year         = "1973",
 title        = "{Causation}",
 journal      = "{Philosophy}",
 volume       = "70",
 number       = "17",
 pages        = "556--567",
 doi          = "10.2307/2025310",
)
@book(Lewis73counter,
 author       = "D. Lewis",
 year         = "1973",
 title        = "{Counterfactuals}",
 publisher    = "{Harvard University Press}",
 address      = "Cambridge, MA",
)
@incollection(Lewis87,
 author       = "D. Lewis",
 year         = "1987",
 title        = "{Postscripts to `Causation'}",
 booktitle    = "{Philosphical Papers, Vol. II}",
 publisher    = "{Oxford University Press}",
 address      = "New York, NY",
 pages        = "196--210",
 doi          = "10.1093/0195036468.001.0001",
)
@article(Mackie80,
 author       = "J. L. Mackie",
 year         = "1980",
 title        = "{The Transitivity of Counterfactuals and Causation}",
 journal      = "Analysis",
 volume       = "40",
 number       = "1",
 pages        = "53--54",
 doi          = "10.2307/3327328",
)
@book(Pearl09,
 author       = "J. Pearl",
 year         = "2009",
 title        = "{Causality: Models, Reasoning and Inference} (2nd ed.)",
 publisher    = "{Cambridge University Press}",
 address      = "Cambridge, UK",
)
@book(Haskell98,
 author       = "S. L. {Peyton Jones}",
 year         = "2003",
 title        = "{Haskell 98 Language and Libraries: The Revised Report}",
 publisher    = "{Cambridge University Press}",
 address      = "Cambridge, UK",
)
@article(Shaeffer00,
 author       = "J. Schaffer",
 year         = "2000",
 title        = "{Trumping Preemption}",
 journal      = "{The Journal of Philosophy}",
 volume       = "97",
 number       = "4",
 pages        = "165--181",
 doi          = "10.2307/2678388",
)
@book(Woodward03,
 author       = "J. Woodward",
 year         = "2003",
 title        = "{Making Things Happen}",
 publisher    = "{Oxford University Press}",
 address      = "New York, NY",
)