doi dblp Diplans: A New Language for the Study and Implementation of Coordination Anatol W. Holt 1988 Volume 6 Issue 2