Bjorner, D., & Jones, C. B. (1982). Formal specification and software development. Prentice-hall international.
শিকাগো স্টাইলে সাইটেশনBjorner, Diner, এবং Cliff B. Jones. Formal Specification and Software Development. New Jersy: Prentice-hall international, 1982.
এমএলএ সাইটেশনBjorner, Diner, এবং Cliff B. Jones. Formal Specification and Software Development. Prentice-hall international, 1982.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.