Semantics of Sequential and Parallel Programming - Best, Eike (Prentice Hall, 1996)
bibliography:pp.327-344 Εργαστήριο Συνδυαστικων Αλγοριθμων