@inproceedings{Var06b,
author = "Moshe Y. Vardi",
title = "From {C}hurch and {P}rior to {PSL}",
booktitle = "Proceedings of Workshop on 25 Years of Model Checking",
place = {Seattle}, 
month = {August},
day = "16",
year = "2006",
url = "http://www.easychair.org/FLoC-06/25MC-day227.html"
}