Fermer, et al.. Gap-definability as a Closure Property. Springer Berlin Heidelberg, 1993, doi:10.1007/3-540-56503-5_48.