@misc{indiciae89abc75d7269,
  title = {Compositional Specification of Software Architecture},
  author = {Penix, John and Lau, Sonie},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20020073030},
  note = {Source identifier: 20020073030}
}