Use much better Asterix reference

From Peden, 1987, JBIS
Add section labels
Thank Jim Peden and Trevor Ponman
Capitalize Github
Rewrite Asterix section