Rod M. Burstall
发表
Harry G. Barrow,
A. P. Ambler,
Rod M. Burstall,
1972
.
Rod M. Burstall,
R. Burstall,
1980,
MFCS.
John Darlington,
Rod M. Burstall,
R. Burstall,
1977,
J. ACM.
Rod M. Burstall,
Furio Honsell,
1988,
FSTTCS.
Rod M. Burstall,
Healfdene Goguen,
Richard Brooksby,
1999,
TYPES.
Rod M. Burstall,
James W. Thatcher,
J. Thatcher,
1974,
Category Theory Applied to Computation and Control.
Rod M. Burstall,
David MacQueen,
Donald Sannella,
1980,
LISP Conference.
Rod M. Burstall,
1985,
TAPSOFT, Vol.1.
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1985
.
John Darlington,
Rod M. Burstall,
1975
.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1988,
Prentice Hall International Series in Computer Science.
Butler W. Lampson,
Rod M. Burstall,
B. Lampson,
1988,
Inf. Comput..
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1977,
IJCAI.
Harry G. Barrow,
Rod M. Burstall,
Ann Patricia Fothergill,
1973,
IJCAI.
Rod M. Burstall,
1968,
Comput. J..
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1984,
Theor. Comput. Sci..
Rod M. Burstall,
J. L. Weiner,
R. Burstall,
1980,
Symposium on Programming.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1985,
CTCS.
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1983,
Logic of Programs.
Harry G. Barrow,
Rod M. Burstall,
H. Barrow,
1976,
Inf. Process. Lett..
Rod M. Burstall,
R. Burstall,
1972,
Proving Assertions About Programs.
Rod M. Burstall,
R. J. Popplestone,
John Stuart Collins,
1971
.
Rod M. Burstall,
Donald Sannella,
1983,
CAAP.
Rod M. Burstall,
R. Burstall,
1984,
FGCS.
Rod M. Burstall,
1995,
COMPASS/ADT.
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1979,
Abstract Software Specifications.
Rod M. Burstall,
R. Burstall,
1974,
IFIP Congress.
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1982
.
Rod M. Burstall,
R. Burstall,
1966
.
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1984,
Theor. Comput. Sci..
Rod M. Burstall,
1994,
LICS 1994.
Rod M. Burstall,
R. Burstall,
1966,
Comput. J..
Rod M. Burstall,
2000,
Electron. Notes Theor. Comput. Sci..
Alberto Pettorossi,
Rod M. Burstall,
R. Burstall,
1982,
Acta Informatica.
Rod M. Burstall,
1992,
MPC.
Rod M. Burstall,
James McKinna,
R. Burstall,
1993,
MFCS.
Butler W. Lampson,
Rod M. Burstall,
B. Lampson,
1984,
Semantics of Data Types.
Rod M. Burstall,
R. Burstall,
1969,
Comput. J..
Joseph A. Goguen,
Rod M. Burstall,
Andrzej Tarlecki,
1991,
Theor. Comput. Sci..
Rod M. Burstall,
R. Burstall,
2000,
High. Order Symb. Comput..
Rod M. Burstall,
J. H. Collins,
R. J. Popplestone,
1970
.
Harry G. Barrow,
Rod M. Burstall,
Ann Patricia Fothergill,
1975,
Artif. Intell..
Rod M. Burstall,
1966
.
Rod M. Burstall,
Masahiko Sato,
Takafumi Sakurai,
1999,
Fundam. Informaticae.
Rod M. Burstall,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Rod M. Burstall,
R. Burstall,
1969,
Comput. J..
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1985,
CTCS.
Rod M. Burstall,
1966,
Comput. J..
John Darlington,
Rod M. Burstall,
R. Burstall,
1973,
Acta Informatica.
Rod M. Burstall,
2006,
Essays Dedicated to Joseph A. Goguen.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1985,
CTCS.
Rod M. Burstall,
1972
.