Thomas Thiemann: Lectures on loop quantum gravity
 
ADM formalism for GR