IFIP WG 6.1 International Conference on Formal Description Techniques. Berne, Switzerland, International Federation for Information Processing, Hogrefe, D., & Leue, S. (1995). Formal description techniques, VII: Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP).
Chicagoスタイル(17版)引用形式IFIP WG 6.1 International Conference on Formal Description Techniques. Berne, Switzerland, International Federation for Information Processing, Dieter Hogrefe, , Stefan Leue. Formal Description Techniques, VII: Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques. London: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995.
MLA(8版)引用形式IFIP WG 6.1 International Conference on Formal Description Techniques. Berne, Switzerland, et al. Formal Description Techniques, VII: Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995.