@INPROCEEDINGS{CansellGibsonMery06,
  author = {Cansell, Dominique and Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {Refinement: A Constructive Approach to Formal Software Design for
	a Secure e-voting Interface},
  booktitle = {Formal Methods for Interactive Systems {(FMIS 2006)}},
  year = {2006},
  editor = {A. Cerone and P. Curzon},
  address = {Macau SAR China},
  month = oct
}