Doldi, L., Diaz, M., & Groz, R. (1993). Formal description techniques. Vol. V: Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 ([1st ed.].). North-Holland Publishing.
Chicago-Zitierstil (17. Ausg.)Doldi, L., M. Diaz, und R. Groz. Formal Description Techniques. Vol. V: Internat. Conf. for Distributed Systems and Communications Protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992. [1st ed.]. Amsterdam: North-Holland Publishing, 1993.
MLA-Zitierstil (9. Ausg.)Doldi, L., et al. Formal Description Techniques. Vol. V: Internat. Conf. for Distributed Systems and Communications Protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992. [1st ed.]. North-Holland Publishing, 1993.