@phdthesis{SatyakiThesis,
author = "Satyaki Das",
title = "Predicate Abstraction",
school = "Stanford University",
month="December",
year=2003
}