K.N. Levitt

Bibliography

Waldinger, Richard J. and Levitt, K. N. 1974. “Reasoning about Programs.” Artificial Intelligence 5(3): 235–316.