A model of Boy's surface in constructive solid geometry