Cite
An Approach to Formal Definitions and Proofs of Programming Principles.
MLA
Misra, Jayadev. “An Approach to Formal Definitions and Proofs of Programming Principles.” IEEE Transactions on Software Engineering, vol. 4, no. 5, Sept. 1978, pp. 410–13. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edb&AN=19099924&authtype=sso&custid=ns315887.
APA
Misra, J. (1978). An Approach to Formal Definitions and Proofs of Programming Principles. IEEE Transactions on Software Engineering, 4(5), 410–413.
Chicago
Misra, Jayadev. 1978. “An Approach to Formal Definitions and Proofs of Programming Principles.” IEEE Transactions on Software Engineering 4 (5): 410–13. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edb&AN=19099924&authtype=sso&custid=ns315887.