Grazyna Mirkowska Andrzej Salwicki Marian Srebrny Andrzej Tarlecki First-Order Specifications of Programmable Data Types. 2084-2096 2000 30 SIAM J. Comput. 6 http://epubs.siam.org/sam-bin/dbq/article/32252 db/journals/siamcomp/siamcomp30.html#MirkowskaSST00