Jaroslav Haslinger, Tomás Kozubek, Radek Kucera: Fictitious domain formulations of unilateral problems: analysis and algorithms. Computing 84(1-2): 69-96 (2009)