A formal definition of a PL/I subset (1974)

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