@article{MGW:Tactics,
  title = "A Tactic Calculus",
  author = "A. P. Martin and P. H. B. Gardiner and J. C. P. Woodcock",
  year = "1996",
  journal = "Formal Aspects of Computing",
  note = "An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing, 8E, pp244--285. http://link.springer.de/link/service/journals/00165/supp/list94\_96.htm",
  number = "4",
  pages = "479--489",
  publisher = "Springer--Verlag",
  volume = "8",
}