Trevor W. Pearce, David Alex Lamb
The Property Vector Specification of a Multiset Iterator
ICSE, 1992.
@inproceedings{ICSE-1992-PearceL,
author = "Trevor W. Pearce and David Alex Lamb",
booktitle = "{Proceedings of the 14th International Conference on Software Engineering}",
doi = "10.1145/143062.143121",
editor = "Tony Montgomery and Lori A. Clarke and Carlo Ghezzi",
isbn = "0-89791-504-6",
pages = "235--245",
publisher = "{ACM Press}",
title = "{The Property Vector Specification of a Multiset Iterator}",
year = 1992,
}