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

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Mon Jul 20 11:56:07 EDT 2009

On Sat, Jul 4, 2009 at 3:22 PM, Robby
Findler<robby at eecs.northwestern.edu> wrote:
> 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/

I have to say I find it a bit strange that if you use the posted bib:
  author = {Matthew Flatt and PLT Scheme},
  title = {Reference: {PLT} Scheme},
  number = {PLT-TR2009-reference-v4.2},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {June},
  year = {2009},
  url = {http://download.plt-scheme.org/doc/4.2/pdf/reference.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}

you end up with a line:
Flatt, M., Scheme, P.: Reference: PLT scheme. Reference Manual PLT-TR2009-
reference-v4.2, PLT Scheme Inc. (June 2009) http://plt-scheme.org/techreports/.

I looked at the line and wondered for several seconds who Scheme, P. is?

> 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

Paulo Jorge Matos - pocmatos at gmail.com

Posted on the users mailing list.