@inproceedings{king99:esop,
     author = {A.~King and {J.--G.}~Smaus and P. M. Hill},
     title = {Quotienting {{\it Share\/}} for Dependency Analysis},
     booktitle = {Proceedings of the European Symposium on Programming},
     volume = 1576,
     pages = {59--73},
     series = {LNCS},
     publisher = {Springer-Verlag},
     month = {March},
     year = 1999}