%0 Journal Article
%T Themes in the Development of Programming Logics CIRCA 1963-1987
%A Robert L. Constable
%J -
%D 1988
%R 10.1146/annurev.cs.03.060188.001051
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.03.060188.001051