Insertion and extension results for pointfree complete regularity - Gutiérrez García, Javier (2013)