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

On Mon, Jul 20, 2009 at 6:34 PM, Paulo J. Matos<pocmatos at gmail.com> wrote:
> On Mon, Jul 20, 2009 at 6:14 PM, Matthias Felleisen<matthias at ccs.neu.edu> wrote:
>>
>> Paul? Peter? Penny? :-)
>>
>> This is indeed, a mistake. We should simply use et alii.
>>
>>
>
> Problem is, afaik, the use of "et all" in bibtex doesn't depend on the
> user but on the style the conference supports. Unless you write et
> all, somehow directly on the bib. However, writing:
> author = {Matthew Flatt et all},
>
> makes the author: et all, M.F.
>

For my current deadline it will go as:
author = {Matthew Flatt and \mbox{PLT Scheme}},

and shows up as:
Flatt, M., PLT Scheme: Reference: PLT scheme. Reference Manual PLT-TR2009-
reference-v4.2, PLT Scheme Inc. (June 2009) http://plt-scheme.org/techreports/.


>>
>> 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
>>
>>
>
>
>
> --
> Paulo Jorge Matos - pocmatos at gmail.com
> http://www.pmatos.net
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
http://www.pmatos.net