Kristensen, Lars M. 2014. “Investigating Optimal Progress Measures for Verification of the WebSocket Protocol”. Norsk IKT-Konferanse for Forskning Og Utdanning, October. https://www.ntnu.no/ojs/index.php/nikt/article/view/5237.