@inproceedings(Davies-85,
 author       = {Donald W. Davies},
 year         = {1985},
 title        = {{A Message Authenticator Algorithm Suitable for A Mainframe Computer}},
 editor       = {G. R. Blakley and David Chaum},
 booktitle    = {Advances in Cryptology -- Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques (CRYPTO'84), Santa Barbara, CA, USA},
 series       = {Lecture Notes in Computer Science},
 volume       = {196},
 publisher    = {Springer},
 pages        = {393--400},
 doi          = {10.1007/3-540-39568-7_30},
)
@techreport(Davies-Clayden-88,
 author       = {Donald W. Davies and David O. Clayden},
 year         = {1988},
 title        = {{The Message Authenticator Algorithm (MAA) and its Implementation}},
 type         = {NPL Report DITC},
 number       = {109/88},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
 url          = {http://www.cix.co.uk/~klockstone/maa.pdf},
)
@inproceedings(Didrich-Fett-Gerke-et-al-94,
 author       = {Klaus Didrich and Andreas Fett and Carola Gerke and Wolfgang Grieskamp and Peter Pepper},
 year         = {1994},
 title        = {{OPAL: Design and Implementation of an Algebraic Programming Language}},
 editor       = {J{\"{u}}rg Gutknecht},
 booktitle    = {Proceedings of the International Conference on Programming Languages and System Architectures, Zurich, Switzerland},
 series       = {Lecture Notes in Computer Science},
 volume       = {782},
 publisher    = {Springer},
 pages        = {228--244},
 doi          = {10.1007/3-540-57840-4_34},
)
@inproceedings(Duran-Roldan-Bach-10,
 author       = {Francisco Dur{\'{a}}n and Manuel Rold{\'{a}}n and Jean{-}Christophe Bach and Emilie Balland and Mark van den Brand and James R. Cordy and Steven Eker and Luc Engelen and Maartje de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser},
 year         = {2010},
 title        = {{The Third Rewrite Engines Competition}},
 editor       = {Peter Csaba {\"{O}}lveczky},
 booktitle    = {Proceedings of the 8th International Workshop on Rewriting Logic and Its Applications (WRLA'10), Paphos, Cyprus},
 series       = {Lecture Notes in Computer Science},
 volume       = {6381},
 publisher    = {Springer},
 pages        = {243--261},
 doi          = {10.1007/978-3-642-16310-4_16},
)
@article(Duran-Roldan-Balland-et-al-09,
 author       = {Francisco Dur{\'{a}}n and Manuel Rold{\'{a}}n and Emilie Balland and Mark van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Schevchenko and Eelco Visser},
 year         = {2009},
 title        = {{The Second Rewrite Engines Competition}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {238},
 number       = {3},
 pages        = {281--291},
 doi          = {10.1016/j.entcs.2009.05.025},
)
@inproceedings(Garavel-89-c,
 author       = {Hubert Garavel},
 year         = {1989},
 title        = {Compilation of LOTOS Abstract Data Types},
 editor       = {Son T. Vuong},
 booktitle    = {Proceedings of the 2nd International Conference on Formal Description Techniques {FORTE}'89 (Vancouver B.C., Canada)},
 publisher    = {North-Holland},
 pages        = {147--162},
 url          = {http://cadp.inria.fr/publications/Garavel-89-c.html},
)
@inproceedings(Garavel-Turlier-93,
 author       = {Hubert Garavel and Philippe Turlier},
 year         = {1993},
 title        = {{C{\AE}SAR.ADT~: un compilateur pour les types abstraits alg\'ebriques du langage LOTOS}},
 editor       = {Rachida Dssouli and Gregor v. Bochmann},
 booktitle    = {Actes du Colloque Francophone pour l'Ing\'enierie des Protocoles (CFIP'93), Montr\'eal, Canada},
 url          = {http://cadp.inria.fr/publications/Garavel-Turlier-93.html},
)
@inproceedings(Giesl-Brockschmidt-Emmes-et-al-14,
 author       = {J\"{u}rgen Giesl and Marc Brockschmidt and Fabian Emmes and Florian Frohn and Carsten Fuhs and Carsten Otto and Martin Pl\"{u}cker and Schneider{-}Kamp, Peter and Thomas Str\"{o}der and Stephanie Swiderski and Ren{\'{e}} Thiemann},
 year         = {2014},
 title        = {{Proving Termination of Programs Automatically with AProVE}},
 editor       = {St\'{e}phane Demri and Deepak Kapur and Christoph Weidenbach},
 booktitle    = {Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR'14), Vienna, Austria},
 series       = {Lecture Notes in Computer Science},
 volume       = {8562},
 publisher    = {Springer},
 pages        = {184--191},
 doi          = {10.1007/978-3-319-08587-6_13},
 url          = {http://verify.rwth-aachen.de/giesl/papers/IJCAR14-AProVE.pdf},
)
@techreport(ISO-8731-2:1987,
 author       = {ISO},
 year         = {1987},
 title        = {{Approved Algorithms for Message Authentication -- Part 2: Message Authenticator Algorithm (MAA)}},
 type         = {International Standard},
 number       = {8731-2},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(ISO-8730:1990,
 author       = {ISO},
 year         = {1990},
 title        = {{Requirements for Message Authentication (Wholesale)}},
 type         = {International Standard},
 number       = {8730},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(ISO-8731-2:1992,
 author       = {ISO},
 year         = {1992},
 title        = {{Approved Algorithms for Message Authentication -- Part 2: Message Authenticator Algorithm}},
 type         = {International Standard},
 number       = {8731-2},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(Lai-91,
 author       = {{M. K. F.} Lai},
 year         = {1991},
 title        = {{A Formal Interpretation of the MAA Standard in Z}},
 type         = {NPL Report DITC},
 number       = {184/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@techreport(Lampard-91,
 author       = {R. P. Lampard},
 year         = {1991},
 title        = {{An Implementation of MAA from a VDM Specification}},
 type         = {NPL Technical Memorandum DITC},
 number       = {50/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@book(Menezes-vanOorschot-Vanstone-96,
 author       = {Alfred Menezes and Paul C. van Oorschot and Scott A. Vanstone},
 year         = {1996},
 title        = {{Handbook of Applied Cryptography}},
 publisher    = {CRC Press},
 doi          = {10.1201/9781439821916},
 url          = {http://cacr.uwaterloo.ca/hac},
)
@techreport(Munster-91-a,
 author       = {Harold B. Munster},
 year         = {1991},
 title        = {{LOTOS Specification of the MAA Standard, with an Evaluation of LOTOS}},
 type         = {NPL Report DITC},
 number       = {191/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
 url          = {ftp://ftp.inrialpes.fr/pub/vasy/publications/others/Munster-91-a.pdf},
)
@techreport(Parkin-ONeill-90,
 author       = {Graeme I. Parkin and G. O'Neill},
 year         = {1990},
 title        = {{Specification of the MAA Standard in VDM}},
 type         = {NPL Report DITC},
 number       = {160/90},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@inproceedings(Parkin-ONeill-91,
 author       = {Graeme I. Parkin and G. O'Neill},
 year         = {1991},
 title        = {{Specification of the MAA Standard in VDM}},
 editor       = {S{\o}ren Prehn and W. J. Toetenel},
 booktitle    = {Formal Software Development -- Proceedings (Volume 1) of the 4th International Symposium of VDM Europe (VDM'91), Noordwijkerhout, The Netherlands},
 series       = {Lecture Notes in Computer Science},
 volume       = {551},
 publisher    = {Springer},
 pages        = {526--544},
 doi          = {10.1007/3-540-54834-3_31},
)
@incollection(Preneel-11,
 author       = {Bart Preneel},
 year         = {2011},
 title        = {{MAA}},
 editor       = {Henk C. A. van Tilborg and Sushil Jajodia},
 booktitle    = {Encyclopedia of Cryptography and Security (2nd Edition)},
 publisher    = {Springer},
 pages        = {741--742},
 doi          = {10.1007/978-1-4419-5906-5_591},
)
@inproceedings(Preneel-vanOorschot-96,
 author       = {Bart Preneel and Paul C. van Oorschot},
 year         = {1996},
 title        = {{On the Security of Two MAC Algorithms}},
 editor       = {Ueli M. Maurer},
 booktitle    = {Advances in Cryptology -- Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT'96), Saragossa, Spain},
 series       = {Lecture Notes in Computer Science},
 volume       = {1070},
 publisher    = {Springer},
 pages        = {19--32},
 doi          = {10.1007/3-540-68339-9_3},
)
@article(Preneel-vanOorschot-99,
 author       = {Bart Preneel and Paul C. van Oorschot},
 year         = {1999},
 title        = {{On the Security of Iterated Message Authentication Codes}},
 journal      = {{IEEE} Transactions on Information Theory},
 volume       = {45},
 number       = {1},
 pages        = {188--199},
 doi          = {10.1109/18.746787},
)
@article(Preneel-Rumen-vanOorschot-97,
 author       = {Bart Preneel and Vincent Rumen and Paul C. van Oorschot},
 year         = {1997},
 title        = {{Security Analysis of the Message Authenticator Algorithm (MAA)}},
 journal      = {European Transactions on Telecommunications},
 volume       = {8},
 number       = {5},
 pages        = {455--470},
 doi          = {10.1002/ett.4460080504},
)
@inproceedings(Rijmen-Preneel-DeWin-96,
 author       = {Vincent Rijmen and Bart Preneel and {De Win}, Erik},
 year         = {1996},
 title        = {{Key Recovery and Collision Clusters for MAA}},
 booktitle    = {Proceedings of the 1st International Conference on Security in Communication Networks (SCN'96)},
 url          = {https://www.cosic.esat.kuleuven.be/publications/article-437.pdf},
)