[plt-scheme] Reference for PLT-Scheme for paper

The journal followup to that is the right reference for DrScheme (just
the PDE bit), but probably the best reference nowadays is probably one
of these:

http://www.plt-scheme.org/techreports/

Robby

On Sat, Jul 4, 2009 at 9:07 AM, Paulo J. Matos<pocmatos at gmail.com> wrote:
> Hi all,
>
> I am preparing a paper for ICFEM'09 regarding the implementation of an
> explicit model checker for Event-B completely written in PLT Scheme.
> What's the best reference for PLT-Scheme? It seems that the first
> occurence of PLT-Scheme / DrScheme is:
> http://dblp.uni-trier.de/rec/bibtex/conf/plilp/FindlerFFKF97
>
> but I am not so sure that this is the current best reference for the
> PLT Scheme project.
> Any suggestions?
>
> Cheers,
>
> --
> Paulo Jorge Matos - pocmatos at gmail.com
> http://www.pmatos.net
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>