копия от 10 июня 2012 на Wayback Machine Bostrom Responds to Fukuyama’s Assertion that Transhumanism is World’s Most Dangerous Idea Архивная копия от 1
1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare BI as an Assertion Language for Mutable Data Structures. Samin Ishtiaq, Peter O’Hearn. POPL
компиляции. Таким путём можно вставлять в код, например, проверки допущений (assertion checks), которые будут работать только в отладочной версии, когда определена