1.

Conference Proceedings
Conference Proceedings
1. The Algebra of Programming
Bird R. ; Moor de O.
Pub. info.: Deductive program design.  pp.167-203,  1996.  Berlin.  Springer
Title of ser.: NATO ASI series. Series F, Computer and systems sciences
Ser. no.: 152
2.

Conference Proceedings
Conference Proceedings
2. THE ROLE OF MEISENHEIMER COMPLEXES IN AROMATIC NUCLEOPHILIC SUBSTITUTION REACTIONS
Bird R.
Pub. info.: Techniques and applications of fast reactions in solution : proceedings of the Nato Advanced Study Institute on New Applications of Chemical Relaxation Spectrometry and Other Fast Reaction Methods in Solution, held at the University College of Wales, Aberystwyth, September 10-20, 1978.  pp.469-472,  1979.  Dordrecht.  D. Reidel Publishing Company
Title of ser.: NATO ASI series. Series C, Mathematical and physical sciences
Ser. no.: 50