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

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:
@techreport{plt-tr2009-reference-v4.2,
  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
http://www.pmatos.net