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

http://www.plt-scheme.org/ ?
Jos

----- Original Message ----- 
From: "Paulo J. Matos" <pocmatos at gmail.com>
To: "PLT-Scheme Mailing List" <plt-scheme at list.cs.brown.edu>
Sent: Saturday, July 04, 2009 4:07 PM
Subject: [plt-scheme] Reference for PLT-Scheme for paper


> 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
>