APA (7th ed.) Citation

Novitzká, V. Using Constructors in Deriving Correct Programs.

Chicago Style (17th ed.) Citation

Novitzká, Valerie. Using Constructors in Deriving Correct Programs.

MLA (9th ed.) Citation

Novitzká, Valerie. Using Constructors in Deriving Correct Programs.

Warning: These citations may not always be 100% accurate.