Harper, R.,
Milner, R. &
Tofte, M.,
1987,
Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience). Berlin:
Springer,
p. 12 Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research