See Peter Gilbert's publications on Google Scholar:
https://scholar.google.com/citations?user=ZjX0crAAAAAJ&hl=en