Rochaand Meseguer. Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-16242-8_42.