Minor fixes, added definition of race condition, started section about literature.