Libkin. Zero-one Laws. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-662-07003-1_12.