Full abstraction for sequential languages : The states of the art