Next: Example proof developments Up: Contents Previous: LEGO System and documentation

LEGO Literature

Please notify us of any new/missing reference, including your own contributions!

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988


Last modified: Mon Sep 7 15:21:34 BST 1998 by the LEGO Team <lego@dcs.ed.ac.uk>