APA Style
      BAIER, C., LAGO, U, D. (2018).
    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (1).
    Heidelberg, Jerman:
  Springer International Publishing.
  
MLA Style
      BAIER, Christel., LAGO, Ugo, Dal.
    "Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings".
    1
    Heidelberg, Jerman:
  Springer International Publishing,
  2018.
  Text.