APA (7th ed.) Citation

Lichtman, Z. L. (1986). Generation and consistency checking of design and program structures. IEEE transactions on software engineering, SE-12(1), 172-181. https://doi.org/10.1109/TSE.1986.6312930

Chicago Style (17th ed.) Citation

Lichtman, Z. L. "Generation and Consistency Checking of Design and Program Structures." IEEE Transactions on Software Engineering SE-12, no. 1 (1986): 172-181. https://doi.org/10.1109/TSE.1986.6312930.

MLA (9th ed.) Citation

Lichtman, Z. L. "Generation and Consistency Checking of Design and Program Structures." IEEE Transactions on Software Engineering, vol. SE-12, no. 1, 1986, pp. 172-181, https://doi.org/10.1109/TSE.1986.6312930.