Introduction to Non-perturbative Heavy Quark Effective Theory · wovepaper