Michael Jackson and Pamela Zave, Distributed Feature Composition: A virtual architecture for telecommunications services, IEEE Transactions on Software Engineering 24(10), 1998. doi:10.1109/32.729683
Pamela Zave, Using lightweight modeling to understand Chord, ACM SIGCOMM Computer Communications Review 42(2), 2012. doi:10.1145/2185376.2185383
Pamela Zave, Reasoning about identifier spaces: How to make Chord correct, IEEE Transactions on Software Engineering 43(12), 2017. doi:10.1109/TSE.2017.2655056
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff, How Amazon Web Services uses formal methods, Communications of the ACM 58(4), 2015. doi:10.1145/2699417