Lohmannand Wolf. Realizability Is Controllability. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-14458-5_7.