An informal technical bibliography.