Microscopic transport theory of heavy-ion collisions