A Survey of Recent Work on Interacted Boundary-Layer Theory for Flow with Separation