1Eiffel for embedded systems at Hewlett-Packard (1998) (opens in new tab)(web.archive.org)1Hublium4y ago0
