Rajlich, V. (1987). Refinement Methodology for Ada. IEEE transactions on software engineering, SE-13(4), 472-478. https://doi.org/10.1109/TSE.1987.233183
Citácia podle Chicago (17th ed.)Rajlich, V. "Refinement Methodology for Ada." IEEE Transactions on Software Engineering SE-13, no. 4 (1987): 472-478. https://doi.org/10.1109/TSE.1987.233183.
Citácia podľa MLA (8th ed.)Rajlich, V. "Refinement Methodology for Ada." IEEE Transactions on Software Engineering, vol. SE-13, no. 4, 1987, pp. 472-478, https://doi.org/10.1109/TSE.1987.233183.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..