The block concept and some possible implementations, with proofs of equivalence (1970)

by W Henhapl, C B Jones
Venue:IBM Laboratory Vienna, Tech. Rep. TR