Books by Jørgen Jensehaugen