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

Paul? Peter? Penny? :-)

This is indeed, a mistake. We should simply use et alii.



On Jul 20, 2009, at 11:56 AM, Paulo J. Matos wrote:

> 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
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme