Orna Raz, Mary Shaw. An Approach to Preserving Sufficient Correctness in Open Resource Coalitions. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 159-170, IEEE Computer Society, 2000. [doi]
Abstract is missing.