Books — concurrent systems