Towards a derivational style of distributed system design - An example

Martin S. Feather. Towards a derivational style of distributed system design - An example. Automated Software Engineering, 1(1):31-59, 1994. [doi]

Abstract

Abstract is missing.