Skip to content
Snippets Groups Projects
Commit 6c047072 authored by Jannik Dunkelau's avatar Jannik Dunkelau
Browse files

Enhance bibtoolrsc and bibtool call in Makefile

parent ff911fe4
No related branches found
No related tags found
No related merge requests found
...@@ -5,6 +5,21 @@ suppress.initial.newline = true ...@@ -5,6 +5,21 @@ suppress.initial.newline = true
sort.format = {%N(author)} sort.format = {%N(author)}
print.parentheses = true print.parentheses = true
rewrite.rule { "^\"\([^#]*\)\"$" # "{\1}" }
rewrite.rule { pages # "\([0-9]+\)␣*-␣*\([0-9]+\)" # "\1--\2" } % sort order for fields
rewrite.rule { title # "^\{\([^\{][^#]*[^\}]\)\}$" # "{{\1}}" } sort.order {* = author # title # school # type # year # month # day # journal # booktitle # volume # pages # publisher # adress # url # urlaccessdate}
% Remove double braces around titles.
rewrite.rule { title # "^\{[\{]\([^#]*\)[\}]\}$" # "{\1}" }
% Correct page ranges.
rewrite.rule {pages # "\([0-9]+\) *\(-\|---\) *\([0-9]+\)" = "\1--\3"}
% Translate double quotes as delimiters "" by braces {}
rewrite.rule { "^\"\([^#]*\)\"$" = "{\1}" }
rewrite.rule { "# \"\([^#]*\)\"$" = "# {\1}" }
rewrite.rule { "^\"\([^#]*\)\" #" = "{\1} #" }
rewrite.rule { "# \"\([^#]*\)\" #" = "# {\1} #" }
...@@ -9,4 +9,4 @@ clean: ...@@ -9,4 +9,4 @@ clean:
latexmk -C thesis.tex latexmk -C thesis.tex
bibtool: bibtool:
bibtool -R -r keep_bibtex -r field -r improve -r sort_fld -s references.bib -o references.bib bibtool -R -r keep_bibtex -r field -r improve -r month -s references.bib -o references.bib
@Book(abrial1996b, @Book(abrial1996b,
Author = {Abrial, Jean-Raymond}, Author = {Abrial, Jean-Raymond},
Title = {{The B-book: assigning programs to meanings}}, Title = {The {B}-Book: Assigning Programs to Meanings},
Year = 1996,
Publisher = {Cambridge University Press}, Publisher = {Cambridge University Press},
Year = 1996 Address = {New York, NY, USA}
) )
@Book(abrial2010modeling, @Book(abrial2010modeling,
Author = {Abrial, Jean-Raymond}, Author = {Abrial, Jean-Raymond},
Title = {{Modeling in Event-B: system and software engineering}}, Title = {Modeling in {E}vent-{B}: System and Software Engineering},
Year = 2010,
Publisher = {Cambridge University Press}, Publisher = {Cambridge University Press},
Year = 2010 Address = {New York, NY, USA}
) )
@Book(carlsson1988sicstus, @Book(carlsson1988sicstus,
Author = {Carlsson, Mats and Widen, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sj{\"o}land, Thomas}, Author = {Carlsson, Mats and Widen, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sj{\"o}land, Thomas},
Title = {{SICStus Prolog user's manual}}, Title = {{SICS}tus Prolog User's Manual},
Publisher = {Swedish Institute of Computer Science Kista, Sweden},
Year = 1988, Year = 1988,
Volume = 3, Volume = 3,
Publisher = {Swedish Institute of Computer Science},
Address = {Kista, Sweden},
Number = 1 Number = 1
) )
@Article(leuschel2008prob, @Article(leuschel2008prob,
Author = {Leuschel, Michael and Butler, Michael}, Author = {Leuschel, Michael and Butler, Michael},
Title = {{ProB: an automated analysis toolset for the B method}}, Title = {{ProB}: An Automated Analysis Toolset for the {B} Method},
Journal = {International Journal on Software Tools for Technology Transfer},
Year = 2008, Year = 2008,
Month = mar,
Journal = {International Journal on Software Tools for Technology Transfer},
Volume = 10, Volume = 10,
Number = 2, Pages = {185--203},
Pages = {185--203} Number = 2
) )
@InProceedings(leuschel2003prob, @InProceedings(leuschel2003prob,
Author = {Leuschel, Michael and Butler, Michael and others}, Author = {Leuschel, Michael and Butler, Michael},
Title = {{ProB: A model checker for B}}, Title = {ProB},
Booktitle = {FME},
Year = 2003, Year = 2003,
Month = sep,
Booktitle = {{FME} 2003: Formal Methods},
Volume = 2805, Volume = 2805,
Pages = {855--874}, Pages = {855--874},
Organization = {Springer} Publisher = {Springer Berlin Heidelberg},
Address = {Berlin, Heidelberg}
) )
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment