Courtiat, J. P., Saïdouni, D. E., Hogrefe, D., & Leue, S. (1995). Relating Maximality-based Semantics to Action Refinement in Process Algebras. Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques, 293. https://doi.org/10.1007/978-0-387-34878-0_24
Παραπομπή σε μορφή Chicago (17η εκδ.)Courtiat, J. P., D. E. Saïdouni, Dieter Hogrefe, και Stefan Leue. "Relating Maximality-based Semantics to Action Refinement in Process Algebras." Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques 1995: 293. https://doi.org/10.1007/978-0-387-34878-0_24.
Παραπομπή σε μορφή MLA (9th εκδ.)Courtiat, J. P., et al. "Relating Maximality-based Semantics to Action Refinement in Process Algebras." Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques, 1995, p. 293, https://doi.org/10.1007/978-0-387-34878-0_24.