Piotr Dembinski, Stanislaw Budkowski. An introduction to the verification oriented microprogramming language "MIDDLE". In Stephen D. Crocker, Gearold Johnson, Alice Parker, John Ashlstrom, editors, Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978. pages 139-143, ACM, 1978. [doi]
Abstract is missing.