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

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Sat Jul 4 10:07:52 EDT 2009

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:

but I am not so sure that this is the current best reference for the
PLT Scheme project.
Any suggestions?


Paulo Jorge Matos - pocmatos at gmail.com

Posted on the users mailing list.