@INPROCEEDINGS( PSC2014-9, 
 author = "Bruce W. Watson and Loek Cleophas and Derrick G. Kourie",
 title = "Using Correctness-by-Construction to Derive Dead-zone Algorithms",
 booktitle = "Proceedings of the Prague Stringology Conference 2014",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-05547-2",
 year = 2014,
 pages = "84--95",
)