PhD thesis
-Cooperative Concurrency DebuggingNuno de Ferraz Almeida e Peixoto Machado advised by Luis Rodrigues PhD Thesis on Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun. 2016, [bibTex]