The Distributed Application Debugger. - Michael Quinn Jones; Jan Bækgaard Pedersen (CPA, 2013)