Authors: Mirkowska, Z Salwicki, A Srebrny, M Tarlecki, A

Citation: Z. Mirkowska et al., First-order specifications of programmable data types, SIAM J COMP, 30(6), 2000, pp. 2084-2096