@incollection{milner:functions_as_processes:90,
    Author = {Milner, Robin},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Paterson, MichaelS.},
    File = {Functions as processes - Milner (0) (0) - a - a - v.pdf},
    ISBN = {978-3-540-52826-5},
    Pages = {167-180},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Functions as processes},
    URL = {http://dx.doi.org/10.1007/BFb0032030},
    Volume = {443},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0032030},
    date-added = {2013-05-18 08:36:16 +0000},
    date-modified = {2013-05-18 08:36:16 +0000},
    file-2 = {Functions as processes - Milner (1) (0) - a - a - v.pdf},
    doi = {10.1007/BFb0032030}
}

@incollection{milner:functions_as_processes:90, Author = {Milner, Robin}, BookTitle = {Automata, Languages and Programming}, Editor = {Paterson, MichaelS.}, File = {Functions as processes - Milner (0) (0) - a - a - v.pdf}, ISBN = {978-3-540-52826-5}, Pages = {167-180}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Functions as processes}, URL = {http://dx.doi.org/10.1007/BFb0032030}, Volume = {443}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0032030}, date-added = {2013-05-18 08:36:16 +0000}, date-modified = {2013-05-18 08:36:16 +0000}, file-2 = {Functions as processes - Milner (1) (0) - a - a - v.pdf}, doi = {10.1007/BFb0032030} }