C. A. Middelburg. VVSL Specification of a Transaction-oriented Access Handler. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 188-212, Springer, 1992. [doi]
@incollection{Middelburg92-1, title = {VVSL Specification of a Transaction-oriented Access Handler}, author = {C. A. Middelburg}, year = {1992}, doi = {10.1007/978-1-4471-3864-8_10}, url = {https://doi.org/10.1007/978-1-4471-3864-8_10}, researchr = {https://researchr.org/publication/Middelburg92-1}, cites = {0}, citedby = {0}, pages = {188-212}, booktitle = {Specifications of Database Systems}, editor = {David J. Harper and Moira C. Norrie}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {978-3-540-19732-4}, }