Вчера купил книжку:

http://www.williamspublishing.com/Books/5-8459-0456-0.html
"Программирование на платформе .NET", Издательский дом "Вильямс", 2003
("Programming in the .NET Environment" Damien Watkins, Mark Hammond, Brad Abrams, Addison-Wesley 2003, Microsoft .net Development Series)

Там есть:

Приложение Д. Язык Component Pascal, Prof. John Gough
Рассказывается про компилятор Gardens Point Component Pascal for .NET
http://www.citi.qut.edu.au/members/research_areas/plas/projects/cp_files/
Внимание уделяется тому как: эмулировать value-type массивы и расширяемые value-type записи, как быть с вложенными процедурами (нелокальная адресация), как реализовать экспорт переменных только для чтения, управляемый указатель на расширяемый и не расширяемый value-type, ковариантные методы и т. д. — то есть как сделать то что в .NET отсутсвует напрочь в силу ее э-э-э, как бы это сказать, ну, убогости что-ли.

Приложение З. Язык Active Oberon для платформы .NET Framework: пример языка с моделью отображения, Prof. Jurg Gutknecht (http://www.inf.ethz.ch/personal/gutknech/)
Рассказывается о новой модели вычислений основанной на понятии Активных объектов и о том как их прикрутить к .NET.

Перевод книги, правда, оставляет желать лучшего — местами такие переводческие ляпы встречаются...