Hypertexts for Machine Theory Education