Damian Dechev Nicolas Rouquette Peter Pirkelbauer Bjarne Stroustrup Verification and semantic parallelization of goal-driven autonomous software. 33 2008 Autonomics http://doi.acm.org/10.1145/1487652.1487685 conf/autonomics/2008 db/conf/autonomics/autonomics2008.html#DechevRPS08