1. Blikle, A.J., Denotational engineering or from denotations to syntax, in: VDM — A Formal Method at Work, Proc. Of VDM-Europe Symp., Brussels, (Springer LNCS 252), 1987.
2. Blikle, A.J., MetaSoft Primer. Towards a Metalanguge for Applied Denotational Semantics, LNCS No. 288, Springer Verlag, 1987.
3. Blikle, A.J. and Tarlecki, A., Naive denotational semantics, in: Mason, R.E.A. (ed), Information Processina’83, Elsevier Science Pub. B.V., 1983, pp. 345–355.
4. Damm, W., A microprogramming logic, IEEE Trans. on Software Engineering, Vol. 14, No. 5, 1988, pp. 559–574.
5. Dasgupta, S. and Wagner, A., The use of Hoare logic in the verification of horizontal microprograms, International Journal of Computer and Information Sciences, Vol. 13, No 6, pp. 461–490, 1984.