John Kelly

发表

Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

Derek S. Thomson, John Kelly, Roy Stuart Webb, 2000 .

Derek S. Thomson, John Kelly, Roy Stuart Webb, 1998 .

Graeme Bowles, S Male, John Kelly, 2011 .