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

Authors: Sannella, D Tarlecki, A

Citation: D. Sannella et A. Tarlecki, Algebraic methods for specification and formal development of programs, ACM C SURV, 31, 1999, pp. H1-H5