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