Live translation VDM-SL into Smalltalk

The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems.

The VDM Specification Language (VDM-SL) can be lively translated into Smalltalk as this video using Pharo proves: