find dissertation whose author wrote verifying concurrent programs using linear time temporal logic.
(AND education.dissertation (JOIN book.written_work.author (JOIN book.author.works_written m.059w8p6)))