@INPROCEEDINGS( PSC2012-1, 
 author = "Bruce W. Watson",
 title = "Correctness-by-Construction in Stringology",
 booktitle = "Proceedings of the Prague Stringology Conference 2012",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-05095-8",
 year = 2012,
 pages = "1--2",
)