@book{back-vw,
author = {Ralph-Johan Back and Joakim von Wright},
title = {Refinement Calculus: A Systematic Introduction},
publisher = {Graduate Texts in Computer Science, Springer},
year = "1998",
url = 
{http://crest.cs.abo.fi/publications/public/1998/RefinementCalculusBook.pdf}
}

@book{bwttt,
author = {Michael Barr and Charles Wells},
title = {Toposes, Triples and Theories},
publisher = {Springer-Verlag},
year = {1983}, 
url = {http://www.cwru.edu/artsci/math/wells/pub/ttt.html}
}

@unpublished{dawson-cmkc,
author = {Jeremy~E~Dawson},
title = {Compound Monads and the {K}leisli Category},
note = {Unpublished note}, 
url = {http://users.rsise.anu.edu.au/~jeremy/pubs/cmkc/},
year = {2007}
}

@InProceedings{dawson-fgc,
author = {Jeremy~E~Dawson},
title = {Formalising General Correctness},
booktitle = {Computing: The Australasian Theory Symposium},
x = {Electronic Notes in Theoretical Computer Science \textbf{91} (2004)},
volume = {ENTCS {91}},
year = {2004},
pages = {21--42},
url = {http://www.elsevier.com/locate/entcs}
}

@InProceedings{dawson-fgs,
author = {Jeremy~E~Dawson},
title = {Formalising Generalised Substitutions},
booktitle = {Theorem Proving in Higher-Order Logics},
year = {2007},
url = {http://users.rsise.anu.edu.au/~jeremy/pubs/fgc/fgs/},
pages = {to appear}
}

@book{dijkstra-gcl,
author = {Edsger~W~Dijkstra}, 
title = {A Discipline of Programming},
publisher = {Prentice-Hall International},
year = "1976"
}

@InProceedings{dunne-abstr-cmds,
  author = {Steve Dunne}, 
title = {Abstract Commands: A Uniform Notation for Specifications and Implementations},
booktitle = {Computing: The Australasian Theory Symposium},
volume = {ENTCS {42}},
year = {2001},
x = {Electronic Notes in Theoretical Computer Science \textbf{42} (2001)},
pages = {104--123},
url = {http://www.elsevier.com/locate/entcs}
}

@InProceedings{dunne-gen-subs,
  author = {Steve Dunne}, 
title = {A Theory of Generalised Substitutions},  
booktitle = {Formal Specification and Development in Z and B,
 (ZB 2002)}, 
volume = {LNCS 2272},
publisher = {Springer},
year = {2002},
pages = {270--290}
}

@InProceedings{dunne-chorus,
  author = {Steve Dunne}, 
title = {Chorus Angelorum}, 
booktitle = {B 2007: Formal Specification and Development in B},
volume = {LNCS 4355},
publisher = {Springer},
year = {2007},
pages = {19--33}
}

@article{JG,
author = {Dean Jacobs and David Gries},
title = {General Correctness: A Unification of Partial and Total Correctness},
journal = {Acta Informatica},
volume = {22},
pages = {67--83},
year = {1985}
}

@article{hpp-sum-tensor,
author = {Martin Hyland and Gordon D Plotkin and John A Power},
title = {Combining effects: Sum and tensor},
journal = {Theor. Comput. Sci.},
volume = {357},
pages = {70--99},
year = {2006}
}

@techreport{jd-cm,
author = {Mark P~Jones and Luc Duponcheel},
title = {Composing Monads},
institution = {Yale University},
number = {YALEU/DCS/RR-1004},
year = {1993},
}

@InProceedings{lhj,
  author = {Sheng Liang and Paul Hudak and Mark P Jones},
title = {Monad Transformers and Modular Interpreters},
booktitle = {Symposium on Principles of Programming Languages (POPL'95)},
year = {1995},
pages = {333--343}
}

@article{mcr,
author = {Clare E Martin and Sharon A Curtis and Ingrid Rewitzky},
title = {Modelling angelic and demonic nondeterminism with multirelations},
journal = {Sci. Comput. Program.},
volume = {65},
pages = {140--158},
year = {2007}
}

@InProceedings{moggi-monads,
  author = {Eugenio Moggi},
title = {Computational lambda-calculus and monads},
booktitle = {Symposium on Logic in Computer Science (LICS)},
publisher = {IEEE},
year = {1989}
}

@article{plotkin-powerdomain,
author = {Gordon D Plotkin},
title = {A powerdomain construction},
journal = {SIAM J.~Computing},
volume = {5},
year = {1976},
pages = {452--487}
}

@InProceedings{rewitzky-03, 
author = {Ingrid Rewitzky},
title = {Binary Multirelations},
booktitle = {Theory and Applications of Relational Structures as Knowledge
  Instruments 2003},
volume = {LNCS 2929},
publisher = {Springer},
year = {2003},
pages = {256--271}
}

@InProceedings{Wadler-essence,
author = {Philip Wadler},
title = {The Essence of Functional Programming},
booktitle = {Symposium on Principles of Programming Languages (POPL'92)},
year = {1992},
pages = {1--14}
}