@InProceedings{
Lau:04,
Author = "K.-K. Lau",
Title = "A Beginner's Course on Reasoning about Imperative Programs",
BookTitle = "Proceedings of Symposium on Teaching Formal Methods 2004, 
            {L}ecture {N}otes in {C}omputer {S}cience 3294",
Editor ="C.N. Dean and R.T. Boute", 
Pages = "1--16",
Year = "2004", 
Publisher = "Springer-Verlag"  }