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