Proceedings of the 1993 ACM conference on Computer science