Lesaniand Palsberg. Proving Non-opacity. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-41527-2_8.