Cotronis, J. Y., Tsiatsoulis, Z., & Archives, T. P. S. U. C. (1997). Specification Composition for the Verification of Message Passing Program Composition. http://www.di.uoa.gr/~ensemble/PDF/09.pdf.
Citácia podle Chicago (17th ed.)Cotronis, J. Y., Z. Tsiatsoulis, a The Pennsylvania State University CiteSeerX Archives. "Specification Composition for the Verification of Message Passing Program Composition." Http://www.di.uoa.gr/~ensemble/PDF/09.pdf 1997.
Citácia podľa MLA (8th ed.)Cotronis, J. Y., et al. "Specification Composition for the Verification of Message Passing Program Composition." Http://www.di.uoa.gr/~ensemble/PDF/09.pdf, 1997.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..