@article(Abowd1995,
 author       = "Gregory~D. Abowd and Robert Allen and David Garlan",
 year         = "1995",
 title        = "Formalizing Style to Understand Descriptions of Software Architecture",
 journal      = "ACM Transactions on Software Engineering and Methodology",
 doi          = "10.1145/226241.226244",
)
@phdthesis(Allen1997,
 author       = "Robert Allen",
 year         = "1997",
 title        = "A Formal Approach to Software Architecture",
 school       = "Carnegie Mellon, School of Computer Science",
)
@article(Allen1992,
 author       = "Robert Allen and David Garlan",
 year         = "1992",
 title        = "A Formal Approach to Software Architectures",
 journal      = "Proceedings of the IFIP 12th World Computer Congress",
)
@book(BassClementsKazman-SoftwareArchitectureInPractice,
 author       = "Len Bass and Paul Clements and Rick Kazman",
 year         = "2012",
 title        = "Software Architecture In Practice",
 edition      = "3rd",
 publisher    = "Pearson Education, Inc.",
)
@article(Bernardo2000,
 author       = "Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello",
 year         = "2000",
 title        = "On the formalization of architectural types with process algebras",
 journal      = "ACM SIGSOFT Software Engineering Notes",
 doi          = "10.1145/357474.355064",
)
@incollection(Broy2005,
 author       = "Manfred Broy",
 year         = "2005",
 title        = "Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures",
 booktitle    = "Eng.\ Theories of Software Intensive Systems",
 doi          = "10.1007/1-4020-3532-2\_2",
)
@article(Broy2011,
 author       = "Manfred Broy",
 year         = "2011",
 title        = "Can practitioners neglect theory and theoreticians neglect practice?",
 journal      = "IEEE Computer",
 doi          = "10.1109/MC.2011.305",
)
@book(Broy2001,
 author       = "Manfred Broy and Ketil St{\o }len",
 year         = "2001",
 title        = "Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4613-0091-5",
)
@book(Buschmann2007,
 author       = "Frank Buschmann and Kelvin Henney and Douglas Schimdt",
 year         = "2007",
 title        = "Pattern-oriented Software Architecture: On Patterns and Pattern Language",
 publisher    = "Wiley",
)
@inproceedings(Garlan-SoftwareArchitectureARoadmap,
 author       = "David Garlan",
 year         = "2000",
 title        = "Software architecture: a roadmap",
 booktitle    = "ICSE 2000",
 doi          = "10.1145/336512.336537",
)
@inproceedings(Garlan1990,
 author       = "David Garlan and Norman Delisle",
 year         = "1990",
 title        = "Formal Specifications as Reusable Frameworks",
 booktitle    = "Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development",
 doi          = "10.1007/3-540-52513-0\_9",
)
@inproceedings(Garlan1991,
 author       = "David Garlan and David Notkin",
 year         = "1991",
 title        = "Formalizing Design Spaces: Implicit Invocation Mechanisms",
 booktitle    = "Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development",
)
@book(Hoare1985,
 author       = "Charles Antony~Richard Hoare",
 year         = "1985",
 title        = "Communicating sequential processes",
 publisher    = "Prentice Hall",
)
@book(Jackson2012,
 author       = "Daniel Jackson",
 year         = "2012",
 title        = "Software Abstractions: logic, language, and analysis",
 publisher    = "MIT Press",
)
@article(Johnson2012,
 author       = "Pontus Johnson and Mathias Ekstedt and Ivar Jacobson",
 year         = "2012",
 title        = "Where's the Theory for Software Engineering?",
 journal      = "IEEE software",
 doi          = "10.1109/MS.2012.127",
)
@article(LeMetayer1998,
 author       = "Daniel Le~M{\'e}tayer",
 year         = "1998",
 title        = "Describing Software Architecture Styles using Graph Grammars",
 journal      = "IEEE Transactions on Software Engineering",
 doi          = "10.1109/32.708567",
)
@inproceedings(Marmsoler2014,
 author       = "D.~Marmsoler",
 year         = "2014",
 title        = "Towards a Theory of Architectural Styles",
 booktitle    = "22th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE-22)",
 pages        = "823--825",
 doi          = "10.1145/2635868.2661683",
)
@article(Moriconi1995,
 author       = "Mark Moriconi and Xiaolei Qian and Robert~A. Riemenschneider",
 year         = "1995",
 title        = "Correct Architecture Refinement",
 journal      = "IEEE Transactions on Software Engineering",
 doi          = "10.1109/32.385972",
)
@article(Shaw2006,
 author       = "Mary Shaw and Paul Clements",
 year         = "2006",
 title        = "The golden age of software architecture",
 journal      = "Software, IEEE",
 doi          = "10.1109/MS.2006.58",
)
@book(Shaw1996,
 author       = "Mary Shaw and David Garlan",
 year         = "1996",
 title        = "Software architecture: perspectives on an emerging discipline",
)
@article(Sousa2001,
 author       = "Joao~Pedro Sousa and David Garlan",
 year         = "2001",
 title        = "Formal Modeling of the Enterprise {J}ava{B}eans Component Integration Framework",
 journal      = "Information and Software Technology",
 doi          = "10.1016/S0950-5849(00)00157-9",
)
@book(Taylor2010,
 author       = "Richard~N. Taylor and Nenad Medvidovic and Eric~M. Dashofy",
 year         = "2010",
 title        = "Software Architecture: Foundations, Theory, and Practice",
 publisher    = "John Wiley \& Sons",
)
@inproceedings(Zave13,
 author       = "Pamela Zave and Jennifer Rexford",
 year         = "2013",
 title        = "Compositional Network Mobility",
 booktitle    = "Verified Software: Theories, Tools, Experiments - 5th International Conference",
 pages        = "68--87",
 doi          = "10.1007/978-3-642-54108-7\_4",
)