organized by the Corporation for Open Systems International, McLean, Virginia, U.S.A., 30 October-1 November 1990 ; edited by Ian Davidson, David M. Litwack
North-Holland , Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
1991
Available at 4 libraries