More available at my PhD thesis.