Dynamic systematic testing of concurrent Erlang programs - Γκότοβος, Άλκης Σ. (N/A, 1970)