My notes: See [1] for more.