Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff:How Amazon Web Services Uses Formal Methods. In: Commun. ACM. Band58, Nr.4, März 2015, ISSN0001-0782, S.66–73, doi:10.1145/2699417.
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff:How Amazon Web Services Uses Formal Methods. In: Commun. ACM. Band58, Nr.4, März 2015, ISSN0001-0782, S.66–73, doi:10.1145/2699417.