C. Sennett
发表
H. F. Macdonald,
R. Elliott,
W. Hayes,
1965,
Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.
David Lorge Parnas,
Anthony Hall,
John M. Rushby,
1995,
ZUM.
David Lorge Parnas,
John Rushby,
Nico Plat,
1995
.
Peter Y. A. Ryan,
Chris T. Sennett,
P. Ryan,
1993,
Formal Methods in Systems Engineering.
F. A. Johnson,
E. Pike,
C. Oliver,
1969
.
H. F. Macdonald,
W. Hayes,
C. Sennett,
1969
.
Colin O'Halloran,
Chris T. Sennett,
C. O'Halloran,
1994,
ESORICS.
C. T. Sennett,
C. Sennett,
1989
.