Med Allen Emerson: . I: : Workshop, Yorktown Heights, NY, mai 1981, , Bind 131, Springer-Verlag. 1981. Med J. R. Burch, Kenneth L. McMillan, David Dill og J. Hwang: . I: , 1990. Med Orna Grumberg og Doron A. Peled: . MIT Press, 1999.