New approach to spec extraction