Journal: BIT

Volume 20, Issue 2

130 -- 136Hannu Erkiƶ. A Heuristic Approximation of the Worst Case of Shellsort
137 -- 144Stein Gjessing. Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities
145 -- 156Juha Hakola, Ari Heiskanen. On the Distribution of Wasted Space at the End of File Blocks
157 -- 163Rainer Kemp. A Note on the Stack Size of Regularly Distributed Binary Trees