A Formal Definition of a PL/I Subset (1974)

by H Bekič, D Bjørner, W Henhapl, C B Jones, P Lucas