Kubiak, R., Rudziński, R., & Sokołowski, S. (1991). An introduction to programming with specifications: A mathematical approach. Academic Press.
Chicago Style (17th ed.) CitationKubiak, Ryszard, Roman Rudziński, and Stefan Sokołowski. An Introduction to Programming with Specifications: A Mathematical Approach. London u.a: Academic Press, 1991.
MLA (9th ed.) CitationKubiak, Ryszard, et al. An Introduction to Programming with Specifications: A Mathematical Approach. Academic Press, 1991.
Warning: These citations may not always be 100% accurate.