Further information about the LEGO system

Reference Card

The LEGO WWW page

Literature

• Randy Pollack, Incremental Changes in LEGO: 1994. More recent changes are documented here.
• Randy Pollack and Claire Jones, Incremental Changes in LEGO.
• Zhaohui Luo and Randy Pollack, LEGO Proof Development System: User's Manual , LFCS Technical Report ECS-LFCS-92-211.

The library

cs.lego

a local newsgroup; don't be shy about posting. There is no FAQ ;-)