Index

• Miscellaneous
• CORBA
• Documents read
• Fun/Personal
• Hardware
• Java
• Languages
• Motorcycles
• Natuurkunde
• Object orientation
• People
• Research
• System administration
• TeX/LaTeX
• Workflow/Transactions
• Linux
• Home pages

• References to these pages (The reference referenced!)
• Add Me, FREE Website Promotion!

• OMG Recently Adopted Specifications

• My BibTeX file (only available locally)
• Maurice: Books, reports and articles
• ACM Digital Library: Browse Alphabetically
• Collected Advice on Research and Writing

• Harman/Kardon
• Loesje Postkantoor
• Are you a Nerd??? (The Exam of Life.)
• My PhD
• Improvisation
• PhoNETic
• Theatersportvereniging Pro Deo
• De Groenteboer - Recepten
• SOAR: Searchable Online Archive of Recipes
• Homodok
• Astrid Veltman Receptenpagina
• Enlish food dictionary header
• De Groenteboer
• Evolution of a Programmer
• Some Humor

• Sun3 Archive
• Books, reports and articles that Maurice has read
• Exokernels
• Quantum Lightning Series Datasheet
• Transputer
• Techinfo on Harddisks
• Intel(R) Itanium(TM) Processor: IA-64 Architecture
• TPC.INT: Send a fax
• FunPrice prijslijst

• Java at Sun
• Concurrent Programming in Java
• Java VM: languages mapping to it
• Products for Java Linux
• Toba: A Java-to-C Translator
• JDK Package index at Sun
• The Java Series - Addison Wesley
• JavaBeans home at Sun
• JavaBeans Documentation
• Jini 1.0 Alpha Documentation
• Smalltalk to JAVA Converter
• JDK Documentation (only available locally)
• JDK API (only available locally)

• LOTOS
• The Z notation
• Pict - Pi-Calculus compiler
• Occam
• RDF: Resource Description Framework
• Larch (behavioural subtyping for C++/ST)
• Free XML software
• Jade - James' DSSSL Engine
• Comprehensive Perl Archive Network
• CPAN search
• RPM of Distribution CPAN-Archives
• RPM of Group Utilities/CPAN
• XML programming
• XML search engine
• HTML table introduction
• SED FAQ and examples
• AWK FAQ and examples
• Cascading Style Sheets, level 2
• Isabelle (theorem prover tool)
• PVS: Specification and Verification System
• The Z Notation
• ZTC and Zanim

• Kawasaki

• Relativity FAQ
• Physics FAQ
• Many Worlds Theory FAQ
• Flatland
• NewHoo - Science:Physics:Relativity:Alternative
• Welcome to Divergent Matter Homepage
• Arago

• Object Oriented information collected
• Metamodel information
• Eagle Architecture Specification
• Object-Orientation FAQ
• OBJS: OO consulting & technology
• UML Notation Guide
• UML Semantics
• OO, refinement, transactions combined

• My concience
• Rick van Rein (private)
• Doug Lea
• Jos Baeten
• Maurice van Keulen
• Donald Knuth
• Giuseppe Castagna
• Twan Basten
• Ursula Goltz
• Arend Rensink
• Eerke Boiten
• John Lamping
• Oscar Nierstrasz
• Peter Welch
• Benjamin Pierce
• Edmund Clarke
• Philip Wadler
• Gregor Kiczales

• Petri Net Classification
• Transaction Logic Prototype
• Faculteit TW
• IDEA Esprit Project
• LOTOS
• Formal OO Page
• Open Implementation Home Page
• TIPS references available in English
• Model Checking Publications
• PI calculus: Mobility Workbench
• OOPSLA99 Submission Guidelines

• Internet Request For Comments (RFC)
• Linux-PAM modules etc. page
• Cronk's Sys Admin Info Page

• TeX archive (FTP directory)
• LaTeX help
• LaTeX2HTML
• BibTeX contrib directory
• Help On LaTeX Commands
• Conversion between LaTeX and PC rubbish
• TeX Users Group Home Page
• Dictionaries for International Ispell
• NL spellingspatronen
• LyX, the word-processor front-end for LaTeX
• TeX FAQ
• Collection of Computer Science Bibliographies
• Primary LyX site

• PROTOS workflow modelling tool
• COSA workflow modelling
• Jini 1.0 Alpha Documentation
• Tuxedo by BEA
• International Symposium on Advanced Database Support for
• DB&LP: Conferences & Workshops

• My Local Linux Pages
• A Non-Networked File System
• Nederlandse Linux Gebruikers Groep
• Linux Information Sheet
• Linux/sun3
• Linux Online - The Linux Home Page
• Using and Porting GNU CC
• Linux books
• Products for Java Linux
• Documentation overview
• Linux Software Map
• Thuiswerken onder Linux (only available locally)
• RedHat Linux Mailing Lists
• Linux Applications and Utilities Page
• X11 FAQ
• Linuxconf --- Configuration of Linux made easy
• dwww - Documentation via the Web
• Version Management with CVS - Per Cederqvist
• DJGPP: GCC for MessyDOS
• Oracle Embraces Linux
• The Linux Kernel: Table of Contents
• Linux quotes
• LinuxHQ
• Ghostscript, Ghostview and GSview
• LinuxBERG
• Linux in Business
• KDE
• Linux Center
• SAL -- Scientific Applications on Linux -- Main Category and Search Engine
• Tux Mailing List Archives

• TUE Formal Methods Group
• Queer Resources Directory
• MANY Links on Object-Orientation / General Info
• Pro Deo
• IAPC
• OOPSLA'98
• Studievereniging Inter-Actief
• Amazon Bookstore online
• The Cygwin Project
• PNG (Portable Network Graphics) Home Site
• Ontwerpproject 2000 Informatica